diff --git a/README.md b/README.md
index 3eed96f..77175f4 100644
--- a/README.md
+++ b/README.md
@@ -17,5 +17,5 @@ dune runtest
 ## To run an executable
 
 ```
-dune exec miniImpInterpreterReg {-}{-} -i bin/sum.miniimp -r 4 -v 100 -e
+dune exec miniImpInterpreterReg -- -i bin/sum.miniimp -r 4 -v 100 -e
 ```