diff --git a/Lake/Help.lean b/Lake/Help.lean
index faeefe2604..452d72345e 100644
--- a/Lake/Help.lean
+++ b/Lake/Help.lean
@@ -4,11 +4,12 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone
 -/
 import Lake.Version
+import Lake.LeanVersion
 
 namespace Lake
 
 def usage :=
-"Lake, version " ++ versionString ++ "
+s!"Lake version {versionString} (Lean version {uiLeanVersionString})
 
 Usage:
   lake <command>