diff --git a/doc/getting-started/getting-started.rst b/doc/getting-started/getting-started.rst
index 1de7bef49..8705e09f1 100644
--- a/doc/getting-started/getting-started.rst
+++ b/doc/getting-started/getting-started.rst
@@ -567,6 +567,7 @@ Build ACRN
 
       .. code-block:: bash
 
+         cd ~/acrn-work/acrn-kernel
          make distclean
 
    #. Build the ACRN kernel:
@@ -606,9 +607,6 @@ Build ACRN
          cp ~/acrn-work/acpica-unix-20210105/generate/unix/bin/iasl "$disk"/
          sync && sudo umount "$disk"
 
-      Even though our sample default scenario defines six User VMs, we're only
-      going to launch one of them, so we'll only need the one launch script.
-
    #. Insert the USB disk you just used into the target system and run these
       commands to copy the files locally: