diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc
index 8492c6d26..93fbe0887 100644
--- a/spot/twaalgos/remfin.cc
+++ b/spot/twaalgos/remfin.cc
@@ -472,6 +472,8 @@ namespace spot
 
       for (unsigned src = 0; src < n; ++src)
         {
+          if (!si.reachable_state(src))
+            continue;
           acc_cond::mark_t acc = 0U;
           unsigned scc = si.scc_of(src);
           if (si.is_accepting_scc(scc) && !si.is_trivial(scc))