diff --git a/index.md b/index.md
index 2cb6b76e..8b6d476b 100644
--- a/index.md
+++ b/index.md
@@ -45,7 +45,7 @@ fixes are encouraged.
   - [StlcProp: Properties of STLC](StlcProp)
 
   In progress
-  - [FreshUnstuck: Generation of fresh names with strings](TypedFresh)
+  - [FreshUnstuck: Generation of fresh names with strings](FreshUnstuck)
   - [Typed: Raw terms with types (broken)](Typed)
   - [TypedFresh: Raw terms with fresh names (broken)](TypedFresh)