diff --git a/prism/src/userinterface/GUIComputationThread.java b/prism/src/userinterface/GUIComputationThread.java
index 586e4891..4a5ecd57 100644
--- a/prism/src/userinterface/GUIComputationThread.java
+++ b/prism/src/userinterface/GUIComputationThread.java
@@ -54,7 +54,7 @@ public class GUIComputationThread extends Thread
 	public void error(Exception e)
 	{
 		if (e instanceof jdd.JDD.CuddOutOfMemoryException) {
-			error(e.getMessage()+"\nPlease restart PRISM. You can increase the memory for CUDD in the settings...");
+			error(e.getMessage()+".\nTry increasing the value of \"CUDD max. memory\" in the options and then restart PRISM");
 		} else if (e instanceof PrismException) {
 			error(e.getMessage());
 		} else {