diff --git a/README.md b/README.md
index 491a9fd0ea..e09580624c 100644
--- a/README.md
+++ b/README.md
@@ -27,6 +27,7 @@ Leo is a functional, statically-typed programming language built for writing pri
 
 
 ## 1. Overview
+
 Welcome to the Leo programming language.
 
 Leo provides a high-level language that abstracts low-level cryptographic concepts and makes it easy to