diff --git a/src/Cat/Instances/FinSet.lagda.md b/src/Cat/Instances/FinSets.lagda.md
similarity index 99%
rename from src/Cat/Instances/FinSet.lagda.md
rename to src/Cat/Instances/FinSets.lagda.md
index c8b27fa69..452a40c69 100644
--- a/src/Cat/Instances/FinSet.lagda.md
+++ b/src/Cat/Instances/FinSets.lagda.md
@@ -23,7 +23,7 @@ open Functor
 -->
 
 ```agda
-module Cat.Instances.FinSet where
+module Cat.Instances.FinSets where
 ```
 
 # The category of finite sets