diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index d5e8dc8556..9ffec848c2 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -109,8 +109,9 @@
       (eldoc-mode +1)
       (when lean-company-use
         (require 'company)
-        (set (make-local-variable 'company-backends) '(company-etags))
-        (company-mode t))))
+        (company-mode t)
+        (add-to-list 'company-etags-modes 'lean-mode)
+        (set (make-local-variable 'company-backends) '(company-etags)))))
   "A mode for Lean files"          ;; doc string for this mode
   )