diff --git a/doc/manual/overview.xml b/doc/manual/overview.xml
index 191f7a6fe09410dc3af4c72ba5756b1005545313..5525f4bc081409c034b327d458930ea9aed1a01f 100644
--- a/doc/manual/overview.xml
+++ b/doc/manual/overview.xml
@@ -156,7 +156,7 @@ $ nix-env -if pkgs/system/i686-linux.nix pan</screen>
 
     <para>
       While the substitute mechanism is a generic mechanism, Nix provides two
-      standard tools called <command>nix-push</command> and
+      standard tools called <command>nix-pull</command> and
       <command>nix-push</command> that maintain and use a shared cache of
       prebuilt derivations on some network site (reachable through HTTP).  If
       you attempt to install some package that someone else has previously
@@ -173,8 +173,9 @@ $ nix-env -if pkgs/system/i686-linux.nix pan</screen>
     </para>
 
     <screen>
-$ nix-pull http://losser.st-lab.cs.uu.nl/~eelco/nix-dist/
-obtaining list of Nix archives at http://losser.st-lab.cs.uu.nl/~eelco/nix-dist...
+$ nix-pull
+http://catamaran.labs.cs.uu.nl/~eelco/nix/nixpkgs-<replaceable>version</replaceable>/
+obtaining list of Nix archives at http://catamaran.labs.cs.uu.nl/~eelco/nix/nixpkgs-<replaceable>version</replaceable>...
 ...</screen>
 
     <para>