diff --git a/README.md b/README.md
index fdb0801..3a5e9d4 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ highlighting supplied by
 ## Checking the formalisations locally
 
 Install the
-[`rzk`](https://rzk-lang.github.io/rzk/latest/getting-started/install/) proof
+[`rzk`](https://rzk-lang.github.io/rzk/en/latest/getting-started/install/) proof
 assistant. Then run the following command from the root of this repository:
 
 ```sh