diff --git a/tools/autocorres/README.md b/tools/autocorres/README.md
index 20a4c1397..ee7d8f6af 100644
--- a/tools/autocorres/README.md
+++ b/tools/autocorres/README.md
@@ -16,7 +16,7 @@ abstracts the result to produce a result that is (hopefully)
 more pleasant to reason about.
 
   [1]: https://www.cl.cam.ac.uk/research/hvg/Isabelle/
-  [2]: https://ts.data61.csiro.au/software/TS/c-parser/
+  [2]: https://ts.data61.csiro.au/software/TS/c-parser.html