diff --git a/Bookshelf/Fraleigh.lean b/Bookshelf/Fraleigh.lean
index 2e0798a..b03ab15 100644
--- a/Bookshelf/Fraleigh.lean
+++ b/Bookshelf/Fraleigh.lean
@@ -1 +1 @@
-import Bookshelf.Fraleigh.Chapter1
\ No newline at end of file
+import Bookshelf.Fraleigh.Chapter_1
diff --git a/Bookshelf/Fraleigh/Chapter1.lean b/Bookshelf/Fraleigh/Chapter_1.lean
similarity index 100%
rename from Bookshelf/Fraleigh/Chapter1.lean
rename to Bookshelf/Fraleigh/Chapter_1.lean