diff --git a/README.md b/README.md
index 707192e..3501b97 100644
--- a/README.md
+++ b/README.md
@@ -11,8 +11,8 @@ submitted (as an update of the Core_DOM entry) at a later stage.
 
 ## How to build
 
-```
-isabelle build -D Core_DOM
+```console
+achim@logicalhacking:~$ isabelle build -D Core_DOM
 ```
 
 ## Authors