diff --git a/README.md b/README.md
index 634b92059..d63877d15 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,7 @@ About
 - [To Do list](doc/todo.md)
 - [Authors](doc/authors.md)
 - [Tutorial](doc/lean/tutorial.org)
-- Library: [standard](library/standard.md)
+- [Standard Library](library/standard.md)
 
 Requirements
 ------------