diff --git a/documentation/kernel-manual/kernel-how-to.xml b/documentation/kernel-manual/kernel-how-to.xml
index 66ee2e5ea8..8ef9793c60 100644
--- a/documentation/kernel-manual/kernel-how-to.xml
+++ b/documentation/kernel-manual/kernel-how-to.xml
@@ -739,7 +739,7 @@ repository.
                         <filename>yocto/standard/common-pc/base</filename> to the remote branch with the same name 
                         in the master repository <filename>//git.mycompany.com/pub/git/kernel-2.6.37</filename>.
                     <literallayout class='monospaced'>
-     &gt; push ssh://git.mycompany.com/pub/git/kernel-2.6.37 \
+     &gt; git push ssh://git.mycompany.com/pub/git/kernel-2.6.37 \
      yocto/standard/common-pc/base:yocto/standard/common-pc/base
                     </literallayout>
                     </para>