doc: fix link

leanprover-community · Aug 8, 2022 · 2ee411f · 2ee411f
1 parent dc8c638
commit 2ee411f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/RubiksCube/README.md b/RubiksCube/README.md
@@ -1,5 +1,4 @@
-![A screenshot showing the rubiks cube in operation.](/images/screenshot.png)
-
+![A screenshot showing the Rubik's cube in operation.](./images/screenshot.png)
 
 # Rubik's cube visualiser
 
@@ -10,11 +9,12 @@ The purpose of this example is to show how to build widgets using TypeScript and
 
 ## Running
 
-In order to build you need [Lean 4]((https://leanprover.github.io/lean4/doc/quickstart.html)
+In order to build you need [Lean 4](https://leanprover.github.io/lean4/doc/quickstart.html)
 and [Node.js](https://nodejs.org/en/). You also need to be using VSCode (or a Gitpod). First run
 
 ```shell
 lake build rubiksJs
 ```
 
-and then open `Rubiks.lean` in the editor. Put your cursor over the `#widget` command and you should see an interactive rubiks cube in the infoview.
+and then open `Rubiks.lean` in the editor. Put your cursor over the `#widget` command and you should
+see an interactive Rubik's cube in the infoview.