diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt
index 4d84d999a0..9d8ea34a72 100644
--- a/Documentation/intro-user.txt
+++ b/Documentation/intro-user.txt
@@ -482,8 +482,8 @@ followed by `topic=...`.
   $ git push origin HEAD:refs/heads/master -o topic=multi-master
 ----
 
-[[private changes]]
-== Private changes
+[[private-changes]]
+== Private Changes
 
 Private changes are changes that are only visible to their owners and
 reviewers. Private changes are useful in a number of cases: