Misc.

README.md

@@ -24,21 +24,22 @@ For example, on Ubuntu/Debian, all the dependencies can be installed by:
 
 ## Installing OTAWA v2 ##
 
-To download and install OTAWA v2, first download the following script
-and execute it using python:
+To download and install OTAWA v2, first download the following script:
 
 	http://www.tracesgroup.net/otawa/packages/otawa-install.py
 
+Execute it using python:
+	python3 otawa-install.py
+
 You will also need to install the OTAWA plugins for ARM, and
-`lp-solve`. Go to `<otawa dir>/bin` (where `otawa dir` is the directory
-where you just installed otawa) and type:
+`lp-solve`. Go to `<otawa dir>/bin` (where `otawa dir` is the
+directory where you just installed otawa) and type:
 
 	python3 otawa-install.py otawa-arm otawa-lp_solve5
 
 *Warning*: to install plugins, do **not** use `otawa-install.py` in
 `<otawa_dir>`.
 
-
 ## Setting the environment ##
 
 Modify your environment variables as follows: