diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 28683d9cf..7ec8b1fe3 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -1,6 +1,6 @@
 {
     "name": "lean4",
-    "displayName": "lean4",
+    "displayName": "Lean 4",
     "description": "Lean 4 language support for VS Code",
     "version": "0.0.176",
     "publisher": "leanprover",
@@ -13,6 +13,7 @@
     "keywords": [
         "Lean",
         "Lean 4",
+        "lean4",
         "Theorem Provers",
         "InfoView"
     ],