diff --git a/ChangeLog b/ChangeLog
index 5573c57d1..bd656264e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2010-11-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.test: Test both -l and -f.  This should
+	have been done on 2010-01-30 when the default translation was
+	changed from -l to -f.
+
 2010-11-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgbaalgos/scc.hh: Typos in the documentation.
@@ -980,7 +986,7 @@
 
 	Speedup reduc.test by not spawning one process per formula.
 
-	* src/ltltest/reduc.cc: Add an option -f to read a lost of
+	* src/ltltest/reduc.cc: Add an option -f to read a lot of
 	formulae from a file.  Running a process for each formula was
 	too slow.  Also add an option -h to hide reduced formulae.
 	* src/ltltest/reduc.test: Simplify accordingly.
diff --git a/src/tgbatest/ltl2tgba.test b/src/tgbatest/ltl2tgba.test
index e5d9e1197..2c2054052 100755
--- a/src/tgbatest/ltl2tgba.test
+++ b/src/tgbatest/ltl2tgba.test
@@ -29,7 +29,7 @@ set -e
 
 check ()
 {
-  run 0 ../ltl2tgba "$1"
+  run 0 ../ltl2tgba -l "$1"
   run 0 ../ltl2tgba -f "$1"
   run 0 ../ltl2tgba -f -FC "$1"
 }