diff --git a/mps/readme.txt b/mps/readme.txt
index 5c94b234786..20ec0f0716f 100644
--- a/mps/readme.txt
+++ b/mps/readme.txt
@@ -46,8 +46,9 @@ index.
 
 The MPS Kit is distributed in source form.  You need to build it before
 using it.  The basic case is straightforward on supported platforms
-(see below).  Change to the code directory then
+(see below).
 
+    cd code
     cc -O2 -c mps.c     Unix / Mac OS X (with Xcode command line)
     cl /O2 /c mps.c     Windows (with Microsoft SDK or Visual Studio 2010)