diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
index a2656d80bf3dcbe49dbcd5b16b8656c4185d529c..82e9dfe6b7f211e1280ba92b5bbf6af910e2de31 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -50,6 +50,8 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
 					ExportNewCoreHandler.exportToClassic(tmp, root);
 					runProBClassic(prob_location, tmp);
 				}
+			} else {
+			    Logger.notifyUserWithoutBugreport("You need to select a context or machine to open with " + PROB_STANDALONE_NAME);
 			}
 		}
 		return null;