diff --git a/documentation/kernel-manual/kernel-how-to.xml b/documentation/kernel-manual/kernel-how-to.xml
index bf45ae1729..86e455357a 100644
--- a/documentation/kernel-manual/kernel-how-to.xml
+++ b/documentation/kernel-manual/kernel-how-to.xml
@@ -754,7 +754,7 @@ repository.
Use this command form to push the changes:
> git push ssh://<master_server>/<path_to_repo>
- <local_branch>:<remote_branch>
+ <local_branch>:<remote_branch>
@@ -764,7 +764,7 @@ repository.
in the master repository //git.mycompany.com/pub/git/kernel-2.6.37.
> git push ssh://git.mycompany.com/pub/git/kernel-2.6.37 \
- yocto/standard/common-pc/base:yocto/standard/common-pc/base
+ yocto/standard/common-pc/base:yocto/standard/common-pc/base