diff --git a/ChangeLog b/ChangeLog
index c0c008249..8b1383be2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2005-01-29  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/tgbatest/ltl2tgba.cc (main): Silence the "filename.tgba read"
+	message if -0 is used.
+
 	* bench/emptchk/formulae.ltl: New file.
 
 	* src/tgbaalgos/gtec/gtec.hh (couvreur99_check): Document poprem.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index a71f856b9..d7eb1ac09 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -307,7 +307,9 @@ main(int argc, char** argv)
 					     argv[formula_index] + 2, pel))
 	    return 2;
 	  system->merge_transitions();
-	  std::clog << argv[formula_index] + 2 << " read" << std::endl;
+
+	  if (!paper_opt)
+	    std::clog << argv[formula_index] + 2 << " read" << std::endl;
 	}
       else if (!strcmp(argv[formula_index], "-r"))
 	{