diff --git a/ChangeLog b/ChangeLog
index da83ff55f..740cf1edb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-04-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* bench/emptchk/README: Mention
+	http://spot.lip6.fr/wiki/EmptinessCheckOptions for the syntax.
+
 2005-04-06  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaparse/tgbaparse.yy (acc_list): Do not explicitly delete
diff --git a/bench/emptchk/README b/bench/emptchk/README
index 6352d5ee1..d3e89aa29 100644
--- a/bench/emptchk/README
+++ b/bench/emptchk/README
@@ -145,6 +145,7 @@ This directory contains:
 * algorithms
 
     The list of emptiness-check algorithms run by the above tests.
+    (See http://spot.lip6.fr/wiki/EmptinessCheckOptions for the syntax.)
 
 =======
  USAGE
@@ -209,6 +210,8 @@ This directory contains:
   other `Cou99' algorithms are not.  (Beware that in the paper we
   presented the `Cou99(poprem*)' variants and called them `Cou99*'.)
 
+  (See also http://spot.lip6.fr/wiki/EmptinessCheckOptions)
+
 
   The ltl-*.sh tests output look as follows:
 
@@ -267,7 +270,8 @@ This directory contains:
   CVWY90 and SE05 have bit-state hashing implementations.  Edit the
   file `algorithms' and add lines like `CVWY90(bsh=5M)' or
   `SE05(bsh=512K)' to try these.
-  (The `bsh=' argument gives the hash table size in bytes.)
+  (The `bsh=' argument gives the hash table size in bytes; see also
+  http://spot.lip6.fr/wiki/EmptinessCheckOptions)
 
   Besides randtgba, two other tools that you might find handy we
   experimenting are src/ltltest/randltl and src/tgbatest/ltl2tgba.