diff --git a/README.md b/README.md
index c3cfd7558..0e39f341a 100644
--- a/README.md
+++ b/README.md
@@ -8,9 +8,9 @@ proofs, and supports a use model in which the human protocol designer
 and the automated tool interact to expose errors and prove
 correctness.
 
-#Installation
+# Installation
 Linux
-On Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands:
+On Debian-based linux distributions such as Ubuntu, download and install the file `ms-ivy_X.X_YYYY.deb` where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands:
 ```
 $ sudo dpkg -i ms-ivy_X.X_YYYY.deb
 $ sudo apt-get install -f
@@ -18,7 +18,7 @@ $ sudo apt-get install -f
 The first command will report missing dependencies, which will be installed by the second command.
 
 Windows
-The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command:
+The Windows binary distribution is in the form of a zip archive. Download the file `ivy.X.Y-.Windows-z86.zip`, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory `C:\`. This should give you a directory `C:\ivy`. To use IVy in a command window, first execute this command:
 ```
 > C:\ivy\scripts\activate
 ```