diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 69da33388117b4d397f96fc241c146a4331d2747..3e1dcb21d3105d87271a074b788a6407f06223e4 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -215,7 +215,7 @@ public final class CliStarter {
 			while (!endReached && (line = input.readLine()) != null) { // NOPMD
 				applyPatterns(patterns, line);
 				endReached = patterns.isEmpty()
-						|| line.contains("starting command loop");
+						|| line.contains("starting command loop"); // printed in prob_socketserver.pl
 			}
 		} catch (IOException e) {
 			final String message = "Problem while starting ProB. Cannot read from input stream.";