diff --git a/ChangeLog b/ChangeLog
index 123ffb7dc..b20d83e86 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-06-24  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc (syntax): Fix usage message.
+
 	* src/tgbatest/tripprod.test, src/tgbatest/explprod.test: Sort
 	accepting conditions.
 
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index f2e98e92a..5b0dfb6a4 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -14,6 +14,7 @@ syntax(char* prog)
   std::cerr << "Usage: "<< prog << " [-d][-o][-r] formula" << std::endl
 	    << std::endl
 	    << "  -a   display the accepting_conditions BDD, not the reachability graph"
+	    << std::endl
 	    << "  -A   same as -a, but as a set" << std::endl
 	    << "  -d   turn on traces during parsing" << std::endl
 	    << "  -o   re-order BDD variables in the automata" << std::endl