diff --git a/dev_ops.md b/dev_ops.md
index 22a0f2ba..b900ae73 100644
--- a/dev_ops.md
+++ b/dev_ops.md
@@ -6,7 +6,7 @@
 
 -  If you want to make a tag you can use the script, the  `-do_remote_tag` option will create the tag remotely,
    deleting remotely the one with the same name, e.g.: 
-    - `./make_tag.py 1.1.2 -do_remote_tag`
+    - `./make_tag.py -tag 1.1.2 -do_remote_tag`
    
    To use as tag the current version
     - `./make_tag.py  -do_remote_tag`