diff --git a/src/emacs/lean-type.el b/src/emacs/lean-type.el
index e961545d6b..ab49116278 100644
--- a/src/emacs/lean-type.el
+++ b/src/emacs/lean-type.el
@@ -165,6 +165,8 @@
   (helm :sources (helm-build-sync-source "helm-source-lean-definitions"
                    :requires-pattern t
                    :candidates 'lean-helm-definitions-candidates
+                   :volatile t
+                   :match 'identity
                    :action '(("Go to" . (lambda (c) (with-helm-current-buffer
                                                       (apply 'lean-find-definition-cont (plist-get c :source)))))))
         :buffer "*helm Lean definitions*"))