diff --git a/README.md b/README.md
index 85a5ef3..6e2ef9a 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,8 @@
 
 Needed: https://github.com/HoTT/HoTT
 
+The Finite Sets library of the 'Finite Sets in Homotopy Type Theory' is in the directory 'Finite Sets'.
+
 The only part of the project that is buildable is the `FiniteSets` library.
 
 # Building