diff --git a/doc/3-faq-tips-etc.mkd b/doc/3-faq-tips-etc.mkd
index 4f69563..9f1e98c 100644
--- a/doc/3-faq-tips-etc.mkd
+++ b/doc/3-faq-tips-etc.mkd
@@ -406,7 +406,7 @@ do:
     file.  "add" the change, commit, and push.
 
   * *then* remove the repo from `~/repositories` on the server (or whatever
-    you set `$GL_REPO_BASE` to in the `~/.gitolite.rc`)
+    you set `$REPO_BASE` to in the `~/.gitolite.rc`)
 
 <a name="_renaming_a_repo"></a>