diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc
index 9fee4e847..41f6dd34d 100644
--- a/spot/twaalgos/translate.cc
+++ b/spot/twaalgos/translate.cc
@@ -35,7 +35,8 @@ namespace spot
   void translator::setup_opt(const option_map* opt)
   {
     comp_susp_ = early_susp_ = skel_wdba_ = skel_simul_ = 0;
-    relabel_bool_ = tls_impl_ = -1;
+    relabel_bool_ = 4;
+    tls_impl_ = -1;
     ltl_split_ = true;
 
     opt_ = opt;
@@ -423,6 +424,8 @@ namespace spot
     formula r = simpl_->simplify(to_work_on);
     if (to_work_on == *f)
       *f = r;
+    else
+      *f = relabel_apply(r, &m);
 
     auto aut = run_aux(r);