diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index 9dc9ef9e13aab2708738f3cf2a8e65f06dd5d18b..84be7aee0c3ea33e44f87e64e5bea4a4cb912748 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -107,7 +107,7 @@ public class DisproverCommand implements IComposableCommand {
 		job.schedule();
 
 		while (job.getResult() == null && 
-		       (pm == null || !pm.isCanceled())) { // try to treat case IProofMonitor pm is null
+		       (pm == null || !pm.isCanceled())) { // treat case IProofMonitor is null; done by Rodin 3.5RC at startup
 			Thread.sleep(200);
 		}