diff --git a/gui/INSTALL.md b/gui/INSTALL.md
index cc54260..4e55db8 100644
--- a/gui/INSTALL.md
+++ b/gui/INSTALL.md
@@ -8,7 +8,7 @@ To be able to use all of Scyther's features, the following three
 dependencies are needed. If you only require the back-end tool (used
 from the command line) then you need only the first.
 
-1. The GraphViz library.
+1. ### The GraphViz library ###
 
   This library is used by the Scyther tool to draw graphs. It can be
   freely downloaded from:
@@ -18,7 +18,7 @@ from the command line) then you need only the first.
   Download the latest stable release and install it.
 
 
-2. Python 
+2. ### Python ###
 
   Stable releases of the Python interpreter are available from:
 
@@ -27,7 +27,7 @@ from the command line) then you need only the first.
   Scyther does not support Python 3. You are therefore recommended to
   choose the latest production release of Python 2, e.g., Python 2.7.
 
-  *	Mac OS X:
+  *	**Mac OS X**
   
   	If the package yields an error when you try to install it,
   	please use the following, in the directory where you downloaded
@@ -38,7 +38,7 @@ from the command line) then you need only the first.
   	```
 
 
-3. wxPython libraries.
+3. ### wxPython libraries ###
 
   The GUI user interface uses the wxPython libraries.
 
@@ -51,24 +51,24 @@ from the command line) then you need only the first.
   As of writing (May 2013) the following links lead to the appropriate
   wxPython packages for Python 2.7:
 
-  *	Windows:
+  *	**Windows**
   
-  	http://downloads.sourceforge.net/wxpython/wxPython2.8-win32-unicode-2.8.12.1-py27.exe
+   	http://downloads.sourceforge.net/wxpython/wxPython2.8-win32-unicode-2.8.12.1-py27.exe
 
-  *	Mac OS X:
+  *	**Mac OS X**
   
-  	http://downloads.sourceforge.net/wxpython/wxPython2.8-osx-unicode-2.8.12.1-universal-py2.7.dmg
+   	http://downloads.sourceforge.net/wxpython/wxPython2.8-osx-unicode-2.8.12.1-universal-py2.7.dmg
 
-  	Note that this package is in an old format and you will probably
-  	get a warning "Package is damaged". This can be resolved by:
-  	
-  	```
-  	 $ sudo installer -pkg /Volume/.../wxPython2.8-osx-unicode-universal-py2.7.pkg/ -target /
-  	```
+   	Note that this package is in an old format and you will probably
+   	get a warning "Package is damaged". This can be resolved by:
+   	
+   	```
+   	 $ sudo installer -pkg /Volume/.../wxPython2.8-osx-unicode-universal-py2.7.pkg/ -target /
+   	```
 
-  *	Ubuntu/Debian Linux:
+  *	**Ubuntu/Debian Linux**
   
-  	http://wiki.wxpython.org/InstallingOnUbuntuOrDebian
+   	http://wiki.wxpython.org/InstallingOnUbuntuOrDebian
 
 
 Running Scyther
@@ -81,7 +81,7 @@ Start Scyther by executing the file
 
 in the main directory of the extracted archive.
 
-  *	Mac OS X:
+  *	**Mac OS X**
   
   	Right-click the file 'scyther-gui.py' and select "Open with" and
   	then "Python Launcher".