diff --git a/src/modelchecker.c b/src/modelchecker.c
index 7317213..1c12db9 100644
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -451,7 +451,7 @@ explorify (const System sys, const int run)
 	    }
 	}
 
-      /* Special check 3: if after choosing, this run ends on (read|skippedclaim)*, we can remove that part already.
+      /* Special check 3: if after choosing, this run is untrusted and ends on (read|skippedclaim)*, we can remove that part already.
        */
 
       if (sys->switchReduceEndgame && roleCap == NULL)