diff --git a/ChangeLog b/ChangeLog
index 3599e1351..1e12a52e1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-11-28  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/ltl2tgba.cc (syntax): Mention gv04 in help text.
+
 2004-11-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when assert
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 693582856..d5faa95f9 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -127,6 +127,7 @@ syntax(char* prog)
             << std::endl
 	    << "  bsh_magic_search_repeated[(heap size in MB - 10MB"
             << " by default)]" << std::endl
+	    << "  gv04" << std::endl
 	    << "  se05_search" << std::endl
 	    << "  se05_search_repeated" << std::endl
 	    << "  bsh_se05_search[(heap size in MB - 10MB by default)]"