diff --git a/ChangeLog b/ChangeLog
index b70bc1aa8..a4a8e4b50 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/ltl2tgba.cc (main): Fix typo to re-enable
+	reductions by simulation.
+
 2009-11-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* m4/buddy.m4 (AX_CHECK_BUDDY): Check for bdd_satprefix, the
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index a94f020ae..2b9dd5d29 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -727,7 +727,7 @@ main(int argc, char** argv)
 	      tm.stop("reducing A_f w/ SCC");
 	    }
 
-	  if (reduc_aut & !spot::Reduce_Scc)
+	  if (reduc_aut & ~spot::Reduce_Scc)
 	    {
 	      tm.start("reducing A_f w/ sim.");
 	      a = aut_red = new spot::tgba_reduc(a);