diff --git a/README.md b/README.md
index 3915979..ccce049 100644
--- a/README.md
+++ b/README.md
@@ -15,4 +15,4 @@ The documentation builds with `make doc`.
 ## Documentation
 
 The documentation generated by coqdoc is available here:
-[https://ianshil.github.io/iS4/toc.html](https://ianshil.github.io/iS4/tocv.html)
+[https://ianshil.github.io/iS4/toc.html](https://ianshil.github.io/iS4/toc.html)