diff --git a/docs/.pages b/docs/.pages
index 949886c..f292765 100644
--- a/docs/.pages
+++ b/docs/.pages
@@ -1,5 +1,5 @@
 nav:
-    - msglc.md
+    - msglc: index.md
     - Motivation: motivation.md
     - Examples: tutorial.md
     - API: api
\ No newline at end of file
diff --git a/docs/msglc.md b/docs/index.md
similarity index 100%
rename from docs/msglc.md
rename to docs/index.md