diff --git a/src/plfa/part1/Lists.lagda.md b/src/plfa/part1/Lists.lagda.md
index 2d01edec..de388e4f 100644
--- a/src/plfa/part1/Lists.lagda.md
+++ b/src/plfa/part1/Lists.lagda.md
@@ -656,7 +656,7 @@ Show
 
     foldr _∷_ [] xs ≡ xs
 
-Show as a consequence of `foldr-++ above that
+Show as a consequence of `foldr-++` above that
 
     xs ++ ys ≡ foldr _∷_ ys xs