diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index 1e4225d52..c3c0f843d 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -356,7 +356,7 @@ namespace
                 std::cerr << "split inputs and outputs done\nautomaton has "
                           << dpa->num_states() << " states\n";
               dpa = spot::to_parity(dpa);
-              spot::reduce_parity_here(dpa, true);
+              spot::colorize_parity_here(dpa, true);
               spot::change_parity_here(dpa, spot::parity_kind_max,
                                        spot::parity_style_odd);
               if (verbose)