diff --git a/documentation/dev-manual/dev-manual-newbie.xml b/documentation/dev-manual/dev-manual-newbie.xml
index 50e668a8e4..6954b9530d 100644
--- a/documentation/dev-manual/dev-manual-newbie.xml
+++ b/documentation/dev-manual/dev-manual-newbie.xml
@@ -680,8 +680,8 @@
existing local branches and
tells you the branch in which you are currently working.
git branch -D <branch-name>:
- Deletes an existing branch.
- You need to be in a branch other than the one you are deleting
+ Deletes an existing local branch.
+ You need to be in a local branch other than the one you are deleting
in order to delete <branch-name>.
git pull: Retrieves information
from an upstream Git