--- a/doc/manual/source/python.rst	Thu Oct 01 11:07:37 2015 -0700
+++ b/doc/manual/source/python.rst	Wed Jan 27 22:18:19 2016 -0800
@@ -77,7 +77,7 @@
 
 .. sourcecode:: bash
 
-  $ ./waf --shell
+  $ ./waf shell
   $ python examples/wireless/mixed-wireless.py
 
 and the other is to use the --pyrun option to waf:
@@ -90,14 +90,14 @@
 
 .. sourcecode:: bash
 
-  $ ./waf --shell
+  $ ./waf shell
   $ gdb --args python examples/wireless/mixed-wireless.py
 
 To run your own Python script that calls |ns3| and that has this path, ``/path/to/your/example/my-script.py``, do the following:
 
 .. sourcecode:: bash
 
-  $ ./waf --shell
+  $ ./waf shell
   $ python /path/to/your/example/my-script.py
 
 Caveats