diff --git a/README.md b/README.md
index 9668cb8..1abae0d 100644
--- a/README.md
+++ b/README.md
@@ -40,11 +40,12 @@ foo@bar:~$ ./install --help
 ```
 
 A final step for the installation is:
+
 ```console
 foo@bar:~$ isabelle build -D .
 ```
-This will compile Isabelle_DOF and run the example suite.
 
+This will compile Isabelle/DOF and run the example suite.
 
 ## Usage