diff --git a/INSTALL b/INSTALL
index 40f0a967d557ba722f9a85ae11d96add25279383..b7f9efb680b82b4284f9561a5ef85e330042ec7c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -60,7 +60,6 @@ like to contribute an installation script, we would welcome it!)
 
     and then
 
-        git clone git://github.com/mininet/mininet
         git checkout <release tag>
 
    where <release tag> is the release you want to check out.