diff --git a/doc/cprover-manual/visual-studio.md b/doc/cprover-manual/visual-studio.md
index 7f5a9c71ddc..6a63ef5d225 100644
--- a/doc/cprover-manual/visual-studio.md
+++ b/doc/cprover-manual/visual-studio.md
@@ -9,8 +9,8 @@ The MSBuild system is also activated when triggering a build from the
 Visual Studio GUI. The project files created by the Visual Studio GUI
 are used as input by the MSBuild tool.
 
-The MSBuild system can be used to generate goto-binaries from your
-Visual Studio project as follows:
+To use MSBuild to generate goto-binaries from your
+Visual Studio project:
 
 1.  Install the `goto-cl.exe` and `goto-link.exe` binaries in some
     directory that is contained in the PATH environment variable.
@@ -21,15 +21,14 @@ Visual Studio project as follows:
 3.  Open the Visual Studio Command Prompt (in the Tools menu).
 
 4.  Locate the directory that contains the project. Change into this
-    directory using "CD".
+    directory.
 
 5.  Type
 
         msbuild /p:CLToolExe=goto-cl.exe /p:LinkToolExe=goto-link.exe    /p:Flavor=goto-cc /p:Platform=x86
 
-    The platform can be adjusted as required; the "Flavor" given should
-    match the configuration that was created earlier.
+    You can adjust the platform as required. The "Flavor" given should
+    match the configuration you created earlier.
 
 Note that the recent versions of goto-cc also support file names with
 non-ASCII (Unicode) characters on Windows platforms.
-