diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java
index ab22143b..6a3c7256 100644
--- a/prism/src/prism/MultiObjModelChecker.java
+++ b/prism/src/prism/MultiObjModelChecker.java
@@ -288,7 +288,7 @@ public class MultiObjModelChecker extends PrismComponent
 					JDD.Deref(tt);
 			}
 			if (constraintViolated) {
-				throw new PrismException("Cannot use multi-objective model checking with maximising objectives and non-zero reward end compoments");
+				throw new PrismNotSupportedException("Cannot use multi-objective model checking with maximising objectives and non-zero reward end compoments");
 			}
 
 			JDD.Ref(removedActions);
diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 8a20cd78..a1ff4be9 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -725,7 +725,7 @@ public class NondetModelChecker extends NonProbModelChecker
 			// Check there are no state rewards (which are not currently supported), and throw an exception if there are
 			JDDNode stateRewards = getStateRewardsByIndexObject(rs, model, constantValues);
 			if (stateRewards != null && !stateRewards.equals(JDD.ZERO)) {
-				throw new PrismException("Multi-objective model checking does not support state rewards; please convert to transition rewards");
+				throw new PrismNotSupportedException("Multi-objective model checking does not support state rewards; please convert to transition rewards");
 			}
 			// Add transition rewards to list
 			transRewardsList.add(getTransitionRewardsByIndexObject(rs, model, constantValues));