diff --git a/ChangeLog b/ChangeLog
index 9eca3324c..e277519ee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-02-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.test: Fix previous test case.
+
 2011-01-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fixup minimize_monitor().
diff --git a/src/tgbatest/ltl2tgba.test b/src/tgbatest/ltl2tgba.test
index 682455559..515ec8704 100755
--- a/src/tgbatest/ltl2tgba.test
+++ b/src/tgbatest/ltl2tgba.test
@@ -106,7 +106,7 @@ grep 'transitions: 0$' stdout
 grep 'states: 1$' stdout
 
 # Make sure a monitor for F(a & F(b)) accepts everything.
-run 0 ../ltl2tgba -ks -f "$f" | grep ' ->' > stdout
+run 0 ../ltl2tgba -M -f "F(a & F(b))" | grep ' ->' > stdout
 cat >expected <<EOF
   0 -> 1
   1 -> 1 [label="1\n"]