diff --git a/src/Lists.lagda b/src/Lists.lagda
index 0962bae1..004dc5e5 100644
--- a/src/Lists.lagda
+++ b/src/Lists.lagda
@@ -880,7 +880,7 @@ Definitions similar to those in this chapter can be found in the standard librar
 import Data.List using (List; _++_; length; reverse; map; foldr; downFrom)
 import Data.List.All using (All; []; _∷_)
 import Data.List.Any using (Any; here; there)
-import Data.List.Any.Membership.Propositional using (_∈_)
+import Data.List.Membership.Propositional using (_∈_)
 import Algebra.Structures using (IsMonoid)
 \end{code}
 The standard library version of `IsMonoid` differs from the