diff --git a/README.md b/README.md
index 9d7afcf..af933d5 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,7 @@ for installing the AFP locall. For short:
 * [Download](https://www.isa-afp.org/release/afp-current.tar.gz) the complete AFP
 * Extract the downloaded archive to an directory of your choice
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
+
 ```
 mkdir -p ~/.isabelle/Isabelle2016-1/etc
 echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components