diff --git a/ChangeLog b/ChangeLog
index ea99a9cc2..3b288272c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-08-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc (syntax): Typo.
+
 	* doc/Doxyfile.in (STRIP_FROM_PATH): Strip @srcdir@ so its
 	does not appear when listing mainpage.dox.
 
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 71923bb8a..3a070adb5 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -107,7 +107,7 @@ syntax(char* prog)
 	    << "  -t   display reachable states in LBTT's format" << std::endl
 	    << "  -v   display the BDD variables used by the automaton"
 	    << std::endl
-            << "  -x   try to produce a more deterministic automata "
+            << "  -x   try to produce a more deterministic automaton "
 	    << "(implies -f)" << std::endl
 	    << "  -X   do not compute an automaton, read it from a file"
 	    << std::endl