diff --git a/ChangeLog b/ChangeLog
index 9b23b5e6e..33eca6361 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc (syntax): Typo.
+
 2010-11-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Another Clang report.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index cf86f6f43..6bf58a5ca 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -201,7 +201,7 @@ syntax(char* prog)
 	    << "  -R2t  remove transitions using delayed simulation"
 	    << std::endl
 	    << "  -R3   use SCC to reduce the automata" << std::endl
-	    << "  -R3f  clean more acceptance conditions that -R3" << std::endl
+	    << "  -R3f  clean more acceptance conditions than -R3" << std::endl
 	    << "          "
 	    << "(prefer -R3 over -R3f if you degeneralize with -D, -DS, or -N)"
 	    << std::endl