diff --git a/src/tgbaalgos/postproc.cc b/src/tgbaalgos/postproc.cc
index 5469eed41..5e8441280 100644
--- a/src/tgbaalgos/postproc.cc
+++ b/src/tgbaalgos/postproc.cc
@@ -99,13 +99,6 @@ namespace spot
 	  {
 	    delete wdba;
 	    wdba = 0;
-
-	    if (type_ == TGBA && level_ == High)
-	      {
-		const tgba* s = scc_filter(sim, true);
-		delete sim;
-		sim = s;
-	      }
 	  }
 	else
 	  {
@@ -114,6 +107,13 @@ namespace spot
 	  }
       }
 
+    if (sim && type_ == TGBA && level_ == High)
+      {
+	const tgba* s = scc_filter(sim, true);
+	delete sim;
+	return s;
+      }
+
     return wdba ? wdba : sim;
   }
 }