diff --git a/spot/twa/acc.cc b/spot/twa/acc.cc
index 177b6bda9..a564c4968 100644
--- a/spot/twa/acc.cc
+++ b/spot/twa/acc.cc
@@ -1080,7 +1080,10 @@ namespace spot
       }
 
     if (!equiv)
-      return false;
+      {
+        max = false;
+        return false;
+      }
 
     if (equiv_codes(code_, max_code))
       {
@@ -1092,6 +1095,7 @@ namespace spot
         max = false;
         return true;
       }
+    max = false;
     return false;
   }