diff --git a/theories/Instances.v b/theories/Instances.v
index b199351..10726be 100644
--- a/theories/Instances.v
+++ b/theories/Instances.v
@@ -289,7 +289,7 @@ Module Bool.
 End Bool.
 
 Module Relations.
-  Import Relations.Relations.
+  Import Relations.
 
   (** ** Relation instances *)