diff --git a/README.md b/README.md
index fa6e8d4..52f4ee8 100644
--- a/README.md
+++ b/README.md
@@ -86,7 +86,7 @@ editor.
 The DOF-plugin provides an alternative to Isabelle's ``mkroot`` command.
 Isabelle projects that use DOF need to be created using
 ```console 
-foo@bar:~$ isabelle DOF_mkroot -d 
+foo@bar:~$ isabelle DOF_mkroot 
 ```
 The ``DOF_mkroot`` command takes the same parameter as the standard
 ``mkroot`` command of Isabelle. Thereafter, the normal Isabelle 
@@ -118,7 +118,7 @@ Usage: isabelle DOF_mkroot [OPTIONS] [DIR]
 ```
 For example, 
 ```console 
-foo@bar:~$ isabelle DOF_mkroot -d -o scholarly_paper -t lncs
+foo@bar:~$ isabelle DOF_mkroot -o scholarly_paper -t lncs
 ```
 creates a setup using the scholarly_paper ontology and Springer's
 LNCS LaTeX class as document class. Note that the generated setup