1 files changed, 4 insertions, 8 deletions
diff --git a/README b/README
index fc127e192..1f959a9a8 100644
--- a/README
+++ b/README
@@ -66,17 +66,13 @@ THE COQ CLUB.
 BUGS REPORT.
 ============
 
-   Send your bug reports by E-mail to
+   Send your bug reports by filling a form at
 
-	coq-bugs@pauillac.inria.fr
+        http://coq.inria.fr/bin/coq-bugs
 
-   or by snail mail to
+   or by E-mail to
 
-	Projet Coq
-	INRIA Rocquencourt
-	B.P. 105
-	78153 Le Chesnay
-	France
+	coq-bugs@pauillac.inria.fr
 
    To be effective, bug reports should mention the Caml version used
    to compile and run Coq, the Coq version (coqtop -v), the configuration