diff --git a/Bookshelf/Avigad.lean b/Bookshelf/Avigad.lean
index 770de9d..3e10874 100644
--- a/Bookshelf/Avigad.lean
+++ b/Bookshelf/Avigad.lean
@@ -1,6 +1,6 @@
-import Bookshelf.Avigad.Chapter2
-import Bookshelf.Avigad.Chapter3
-import Bookshelf.Avigad.Chapter4
-import Bookshelf.Avigad.Chapter5
-import Bookshelf.Avigad.Chapter7
-import Bookshelf.Avigad.Chapter8
+import Bookshelf.Avigad.Chapter_2
+import Bookshelf.Avigad.Chapter_3
+import Bookshelf.Avigad.Chapter_4
+import Bookshelf.Avigad.Chapter_5
+import Bookshelf.Avigad.Chapter_7
+import Bookshelf.Avigad.Chapter_8
diff --git a/Bookshelf/Avigad/Chapter2.lean b/Bookshelf/Avigad/Chapter_2.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter2.lean
rename to Bookshelf/Avigad/Chapter_2.lean
diff --git a/Bookshelf/Avigad/Chapter3.lean b/Bookshelf/Avigad/Chapter_3.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter3.lean
rename to Bookshelf/Avigad/Chapter_3.lean
diff --git a/Bookshelf/Avigad/Chapter4.lean b/Bookshelf/Avigad/Chapter_4.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter4.lean
rename to Bookshelf/Avigad/Chapter_4.lean
diff --git a/Bookshelf/Avigad/Chapter5.lean b/Bookshelf/Avigad/Chapter_5.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter5.lean
rename to Bookshelf/Avigad/Chapter_5.lean
diff --git a/Bookshelf/Avigad/Chapter7.lean b/Bookshelf/Avigad/Chapter_7.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter7.lean
rename to Bookshelf/Avigad/Chapter_7.lean
diff --git a/Bookshelf/Avigad/Chapter8.lean b/Bookshelf/Avigad/Chapter_8.lean
similarity index 100%
rename from Bookshelf/Avigad/Chapter8.lean
rename to Bookshelf/Avigad/Chapter_8.lean