diff --git a/doc/git-howto.texi b/doc/git-howto.texi
index 8ece341321547a44d0dd587e7aade4df68d13053..b7b5d434804234c3a4bfc5f3a62e0e7e6cdb36ad 100644
--- a/doc/git-howto.texi
+++ b/doc/git-howto.texi
@@ -75,6 +75,7 @@ git config --global core.autocrlf false
 @end example
 
 
+@anchor{Updating the source tree to the latest revision}
 @section Updating the source tree to the latest revision
 
 @example
@@ -330,7 +331,7 @@ git push
 
 Will push the changes to the default remote (@var{origin}).
 Git will prevent you from pushing changes if the local and remote trees are
-out of sync. Refer to and to sync the local tree.
+out of sync. Refer to @ref{Updating the source tree to the latest revision}.
 
 @example
 git remote add <name> <url>