diff --git a/library/library.md b/library/library.md
index f97fc08c8d..4ae4a0f175 100644
--- a/library/library.md
+++ b/library/library.md
@@ -1,4 +1,4 @@
-dThe Lean Standard Library
+The Lean Standard Library
 =========================
 
 The Lean standard library is contained in the following files and directories: