diff --git a/src/Lists.lagda b/src/Lists.lagda
index f30e4679..0e1abd6a 100644
--- a/src/Lists.lagda
+++ b/src/Lists.lagda
@@ -30,7 +30,7 @@ postulate
   extensionality : ∀ {A B : Set} {f g : A → B} → (∀ (x : A) → f x ≡ g x) → f ≡ g
 \end{code}
 
-[extensionality]: Equality/index.html#extensionality
+[extensionality]: Equality#extensionality
 
 
 ## Lists