diff --git a/README.md b/README.md
index 40b6623..760655a 100644
--- a/README.md
+++ b/README.md
@@ -2,8 +2,8 @@
 
 Provides browser support for running Lean in a Monaco editor.
 
-This package is based on the VSCode extension
-[Lean 4](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
+This package is based on the [VSCode extension
+"Lean 4"](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
 [Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).
 
 ## Usage
@@ -112,4 +112,4 @@ export default {
 The error I typically got is:
 ```
 this._configurationService.onDidChangeConfiguration is not a function
-```
\ No newline at end of file
+```