diff --git a/doc/SUMMARY.md b/doc/SUMMARY.md
index 75f2fface4..a64d271bec 100644
--- a/doc/SUMMARY.md
+++ b/doc/SUMMARY.md
@@ -4,10 +4,8 @@
 - [Tour of Lean](./tour.md)
 - [Setting Up Lean](./setup.md)
   - [Quickstart](./quickstart.md)
-
-# [Theorem Proving in Lean](./tpil.md)
-
-# [Examples](./examples.md)
+- [Theorem Proving in Lean](./tpil.md)
+- [Examples](./examples.md)
 
 # Language Manual
 <!-- - [Using Lean](./using_lean.md) -->