diff --git a/INSTALL b/INSTALL
index b3bd0f1643ad1e53f55e34dc0cb739f8181fa5a0..ffa5b13332c1bf0f4f2fbd573df3ce0ca32dc800 100644
--- a/INSTALL
+++ b/INSTALL
@@ -28,9 +28,9 @@ III) INSTALLATION
 	        mtn pull ipnvcs.in2p3.fr --db=/path/to/pipo.mtn NPTool.pro
 
 	  3) last, checkout your local database and get the NPTool code 
-	     for the developement or production:
-	       mtn checkout --branch=NPTool.dev
-	       mtn checkout --branch=NPTool.pro
+	     for the developement or production version of NPTool:
+	       mtn checkout --db=/path/to/pipo.mtn --branch=NPTool.dev
+	       mtn checkout --db=/path/to/pipo.mtn --branch=NPTool.pro
 
 
 	b) First, you need to define some environment variables. You can