diff --git a/src/modelchecker.c b/src/modelchecker.c
index 50ce232..44b8ed8 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -771,7 +771,11 @@ lastActiveRun (const System sys)
   else
     {
       /* there was a previous action, start scan from there */
-      return sys->traceRun[sys->step - 1] + sys->porparam;
+#ifdef DEBUG
+      if (sys->porparam < 100)
+          return sys->traceRun[sys->step - 1] + sys->porparam;
+#endif
+      return sys->traceRun[sys->step - 1];
     }
 }