diff --git a/INSTALL.md b/INSTALL.md
index e68cd075d..216b72265 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -14,6 +14,7 @@ Alternatively, we also provide a docker image in the docker/
 directory. Simply go to that directory and run `./run.sh` to get
 started with a working installation of Infer.
 
+
 ## Infer dependencies for MacOSX
 
 Here are the prerequisites to be able to compile Infer on MacOSX. This
@@ -49,6 +50,7 @@ opam install -y \
   sawja.1.5.1
 ```
 
+
 ## Infer dependencies for Linux
 
 Here are the prerequisites to be able to compile Infer on Linux. This