diff --git a/ChangeLog b/ChangeLog
index dae613eb2..da9c95489 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* README: Typo.
+
 2010-01-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/sanity/Makefile.am (EXTRA_DIST): Distribute readme.test.
diff --git a/README b/README
index d9ce9e799..e7eb4eb88 100644
--- a/README
+++ b/README
@@ -120,7 +120,7 @@ bench/            Benchmarks for ...
    emptchk/       ... emptiness-check algorithms,
    gspn-ssp/      ... various symmetry-based methods with GreatSPN,
    ltl2tgba/      ... LTL-to-Büchi translation algorithms,
-   ltlcouter/     ... translation of a class of LTL formulae,
+   ltlcounter/    ... translation of a class 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.