diff --git a/ChangeLog b/ChangeLog
index 47bfc7120..bb558f284 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2005-01-10  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/ltl2tgba.cc: Typo.
+
 	* src/tgbatest/randtgba.cc: Add option -P.
 
 2005-01-10  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index d0baf4258..9bc3e9302 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -199,14 +199,14 @@ main(int argc, char** argv)
 	{
 	  output = 2;
 	}
+      else if (!strcmp(argv[formula_index], "-A"))
+	{
+	  output = 4;
+	}
       else if (!strcmp(argv[formula_index], "-b"))
 	{
 	  output = 7;
 	}
-      else if (!strcmp(argv[formula_index], "-v"))
-	{
-	  output = 5;
-	}
       else if (!strcmp(argv[formula_index], "-d"))
 	{
 	  debug_opt = true;