1 files changed, 1 insertions, 1 deletions

diff --git a/README b/README
index eb99ec6315..671ccd426d 100644
--- a/README
+++ b/README
@@ -30,7 +30,7 @@ AVAILABILITY.
    Coq is available by anonymous FTP on ftp.inria.fr:
 
 	host:	    ftp.inria.fr (192.93.2.54)
-	directory:  INRIA/coq/
+	directory:  INRIA/LogiCal/coq/
 
 THE COQ CLUB.
 =============