diff --git a/lean4-mode/lean4-mode.el b/lean4-mode/lean4-mode.el
index 17819d4c9d..3869d6bcd2 100644
--- a/lean4-mode/lean4-mode.el
+++ b/lean4-mode/lean4-mode.el
@@ -121,7 +121,7 @@
 
 (easy-menu-define lean4-mode-menu lean4-mode-map
   "Menu for the Lean major mode"
-  `("Lean"
+  `("Lean 4"
     ["Execute lean"         lean4-execute                      t]
     ;; ["Create a new project" (call-interactively 'lean4-project-create) (not (lean4-project-inside-p))]
     "-----------------"
@@ -193,7 +193,7 @@ enabled and disabled respectively.")
 
 ;; Automode List
 ;;;###autoload
-(define-derived-mode lean4-mode prog-mode "Lean"
+(define-derived-mode lean4-mode prog-mode "Lean 4"
   "Major mode for Lean
      \\{lean4-mode-map}
 Invokes `lean4-mode-hook'.
diff --git a/lean4-mode/lean4-util.el b/lean4-mode/lean4-util.el
index b93a68fcaa..fa42b920b5 100644
--- a/lean4-mode/lean4-util.el
+++ b/lean4-mode/lean4-util.el
@@ -14,7 +14,7 @@
   (let ((root (executable-find lean4-executable-name)))
     (when root
       (setq lean4-rootdir (f-dirname (f-dirname root))))
-    root))
+    lean4-rootdir))
 
 (defun lean4-get-rootdir ()
   (if lean4-rootdir