diff --git a/ChangeLog b/ChangeLog
index 46d762d73..4082a7342 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-01-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* README: Mention bench/wdba/.
+
 2011-01-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Define tgba_product_init, a new kind of product with different
diff --git a/README b/README
index 170893c7f..319de03c3 100644
--- a/README
+++ b/README
@@ -137,7 +137,8 @@ bench/            Benchmarks for ...
    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.
+   split-product/ ... parallelizing gain after splitting LTL automata,
+   wdba/          ... WDBA minimization (for obligation properties).
 wrap/             Wrappers for other languages.
    python/        Python bindings for Spot and BuDDy
       tests/      Tests for these bindings