diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index e7c0ba9c0..5c24578f0 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -168,7 +168,8 @@ enabled and disabled respectively.")
   (when lean-eldoc-use
     (set (make-local-variable 'eldoc-documentation-function)
          'lean-eldoc-documentation-function)
-    (eldoc-mode t))
+    (eldoc-mode t)
+    (lean-eldoc-documentation-function))
   ;; company-mode
   (when lean-company-use
     (require 'company)