diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el
index 117095fece..1dd859e1bb 100644
--- a/src/emacs/lean-company.el
+++ b/src/emacs/lean-company.el
@@ -46,7 +46,7 @@ triggers a completion immediately."
   (let ((line-number (line-number-at-pos))
         (column-number (current-column))
         pattern)
-    (lean-server-send-cmd-sync (lean-cmd-wait) 'identity)
+    (lean-server-send-cmd-sync (lean-cmd-wait) '(lambda () ()))
     (cond
      ((looking-at (rx symbol-start "_"))
       (setq pattern (if current-prefix-arg