diff --git a/pages/common/hg-pull.md b/pages/common/hg-pull.md
index 1cd5b13e87..9761b92adb 100644
--- a/pages/common/hg-pull.md
+++ b/pages/common/hg-pull.md
@@ -8,6 +8,10 @@
 
 - Update the local repository to the head of the remote:
 
+`hg pull {{path/to/source/repository}}`
+
+- Update the local repository to the head of the remote:
+
 `hg pull --update`
 
 - Pull changes even when the remote repository is unrelated: