diff --git a/ChangeLog b/ChangeLog
index c16065095..bd705b0d4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-04-15  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc (syntax): Add missing black line in
+	help output.
+
 2010-04-14  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS: Mention W and M.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index ecb970256..5d63a8e13 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -161,6 +161,7 @@ syntax(char* prog)
 	    << std::endl
 	    << "  -c    enable language containment checks (implies -taa)"
 	    << std::endl
+	    << std::endl
 
 	    << "Formula simplification (before translation):"
 	    << std::endl