diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index 35069296df203760aeb10595d0de2a9b989f9716..eba944992a1f6904beb9969790fd3e679cb9eed2 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -114,7 +114,7 @@ public class ModelTranslator extends AbstractComponentTranslator {
 
 	public AEventBModelParseUnit getModelAST() {
 		if (broken) {
-			final String message = "The machine contains Rodin Problems. Please fix it before animating";
+			final String message = "The machine contains Rodin Problems. ProB will continue, but you may observe unexpected behaviour";
 			Logger.notifyUserWithoutBugreport(message);
 			return model;
 		}