diff --git a/ChangeLog b/ChangeLog
index 14056da86..0b6a6e216 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-12-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* README: Mention bench/ltlclases/.
+
 2010-12-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Preliminary benchmark using genltl, introduced earlier.
diff --git a/README b/README
index 9f07d7e40..170893c7f 100644
--- a/README
+++ b/README
@@ -135,6 +135,7 @@ bench/            Benchmarks for ...
    gspn-ssp/      ... various symmetry-based methods with GreatSPN,
    ltl2tgba/      ... LTL-to-Büchi translation algorithms,
    ltlcounter/    ... translation of a class of LTL formulae,
+   ltlclasses/    ... translation of more classes of LTL formulae,
    scc-stats/     ... SCC statistics after translation of LTL formulae,
    split-product/ ... parallelizing gain after splitting LTL automata.
 wrap/             Wrappers for other languages.