diff --git a/Documentation.html b/Documentation.html
index d1c54b03c..1ec1a5623 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -3750,9 +3750,9 @@ chmod o+rwx tmp
 <p> The following method is preferred for new developers:</p>
 
 <ol><li>fetch the current CVS tree over anonymous CVS:<br />
-        <tt>cvs -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin login</tt><br />
+        <tt>cvs -d:pserver:anonymous@phpmyadmin.cvs.sourceforge.net:/cvsroot/phpmyadmin login</tt><br />
         [Password: simply press the Enter key]<br />
-        <tt>cvs -z3 -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin</tt><br />
+        <tt>cvs -z3 -d:pserver:anonymous@phpmyadmin.cvs.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin</tt><br />
         [This will create a new sub-directory named phpMyAdmin]</li>
     <li>add your stuff</li>
     <li>put the modified files (tar'ed and gzip'ed) inside the patch tracker of