diff --git a/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java b/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
index 08a8456ed195458515c586b1febe6bfd7d8fd567..de110e750811f3639e83cd9f601d3b1fbfcd4cc3 100644
--- a/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
+++ b/de.prob.core/src/de/prob/core/command/LoadEventBModelCommand.java
@@ -107,7 +107,8 @@ public final class LoadEventBModelCommand {
 				Logger.notifyUserWithoutBugreport(message);
 			}
 		} catch (CommandException ex) {
-			Logger.notifyUser("Event-B Model or Context could not be loaded due to an exception: " + ex.getMessage(),
+			Logger.notifyUser("Event-B Model or Context could not be loaded due to an exception: " 
+			                  + ex.getMessage() + "\nTry cleaning the Rodin project (Project -> Clean).",
 					ex);
 		}
 
diff --git a/de.prob.core/src/de/prob/core/command/internal/InternalLoadCommand.java b/de.prob.core/src/de/prob/core/command/internal/InternalLoadCommand.java
index 640f8bcb5292d8dbc5673578ebdac8ea5e427bff..1e98e98c820795d5812c7a9a75232b5ac8b2b525 100644
--- a/de.prob.core/src/de/prob/core/command/internal/InternalLoadCommand.java
+++ b/de.prob.core/src/de/prob/core/command/internal/InternalLoadCommand.java
@@ -25,6 +25,7 @@ public final class InternalLoadCommand implements IComposableCommand {
 		} catch (TranslationFailedException e) {
 			throw new CommandException(
 					"Translation from Event-B to ProB's internal representation failed: " + e.getMessage(),
+					// probably a clean of Rodin project can help; this text is added in LoadEventBModelCommand
 					e);
 		}
 	}