diff --git a/ChangeLog b/ChangeLog
index ad2714f..d32bf16 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2000-08-20  Bruno Haible  <bruno@linuix.math.u-bordeaux.fr>
+
+        * INSTALL: Update.
+
 2000-08-19  Bruno Haible  <bruno@linuix.math.u-bordeaux.fr>
 
         * src/key-list.cc (Output_Compare_Memcmp): New class.
diff --git a/INSTALL b/INSTALL
index a2c8722..350b32f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -31,7 +31,7 @@ The simplest way to compile this package is:
      `sh ./configure' instead to prevent `csh' from trying to execute
      `configure' itself.
 
-     Running `configure' takes awhile.  While running, it prints some
+     Running `configure' takes a while.  While running, it prints some
      messages telling which features it is checking for.
 
   2. Type `make' to compile the package.
@@ -167,7 +167,9 @@ operates.
 `--quiet'
 `--silent'
 `-q'
-     Do not print messages saying which checks are being made.
+     Do not print messages saying which checks are being made.  To
+     suppress all normal output, redirect it to `/dev/null' (any error
+     messages will still be shown).
 
 `--srcdir=DIR'
      Look for the package's source code in directory DIR.  Usually