diff --git a/README.md b/README.md
index 6120cbb..500ce5a 100644
--- a/README.md
+++ b/README.md
@@ -9,8 +9,10 @@
 ## Where to learn more 
 
 - The documentation for this project is at: 
+
   https://heplean.github.io/HepLean/
 - Feel free to connect on the Lean Zulip channel: 
+
   https://leanprover.zulipchat.com
 
 ## Contributing