diff --git a/src/plfa/part1/Lists.lagda.md b/src/plfa/part1/Lists.lagda.md
index 8dcc3541..16a7b380 100644
--- a/src/plfa/part1/Lists.lagda.md
+++ b/src/plfa/part1/Lists.lagda.md
@@ -990,7 +990,7 @@ You will need to use extensionality.
 
 #### Exercise `All-∀` (practice)
 
-Show that `All P xs` is isomorphic to `∀ {x} → x ∈ xs → P x`.
+Show that `All P xs` is isomorphic to `∀ x → x ∈ xs → P x`.
 
 ```
 -- You code goes here