diff --git a/README.md b/README.md
index 49a5704ebfdc..3a2df2419a8c 100644
--- a/README.md
+++ b/README.md
@@ -23,3 +23,5 @@ Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
 # Building from Source
 
 See [Building Lean](doc/make/index.md).
+
+foo