1 files changed, 2 insertions, 2 deletions
diff --git a/src/Execution/Runtime.php b/src/Execution/Runtime.php
index df7361d..9d7c367 100644
--- a/src/Execution/Runtime.php
+++ b/src/Execution/Runtime.php
@@ -2301,7 +2301,7 @@ final class Runtime
         } elseif ($result === 0) {
             $this->deactivateLabel($n);
         } else {
-            $this->deactivateLabel($n);
+            $this->deactivateLabel(null);
             return $result - 1;
         }
         return null;
@@ -2412,7 +2412,7 @@ final class Runtime
                 $this->deactivateLabel($m);
                 continue;
             } else {
-                $this->deactivateLabel($m);
+                $this->deactivateLabel(null);
                 return $result - 1;
             }
         }