@@ -35,7 +35,8 @@ Install MP Gryphon and the trace generator directly on your Ubuntu Linux system
To run Gryphon:
* Double-click the Gryphon icon on the desktop to start Gryphon.
* Alternatively, Gryphon may be launched from a command window  by changing to the directory containing the Gryphon tool and typing `./mp.py`:
Alternatively, Gryphon may be launched from a command window  by changing to the directory containing the Gryphon tool and typing `./mp.py`: