diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index c978972e..4e667f7e 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -1124,7 +1124,7 @@ public class NondetModelChecker extends NonProbModelChecker
 					break;
 				case Prism.HYBRID:
 					throw new PrismException(
-							"Hybrid engine does not yet supported this type of property (use sparse or MTBDD engine instead)");
+							"Hybrid engine does not yet support this type of property (use sparse or MTBDD engine instead)");
 				default:
 					throw new PrismException("Unknown engine");
 				}
@@ -1246,7 +1246,7 @@ public class NondetModelChecker extends NonProbModelChecker
 					break;
 				case Prism.HYBRID:
 					throw new PrismException(
-							"Hybrid engine does not yet supported this type of property (use sparse or MTBDD engine instead)");
+							"Hybrid engine does not yet support this type of property (use sparse or MTBDD engine instead)");
 					// rewardsDV = PrismHybrid.NondetReachReward(tr, sr, trr,
 					// odd, allDDRowVars, allDDColVars, allDDNondetVars, b, inf,
 					// maybe, min);
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 54602734..09b993ec 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2013,7 +2013,7 @@ public class PrismCL
 		mainLog.println("-nofair ........................ Don't use fairness (for probabilistic reachability in MDPs) [default]");
 		mainLog.println("-fixdl ......................... Automatically put self-loops in deadlock states");
 		mainLog.println("-noprobchecks .................. Disable checks on model probabilities/rates");
-		mainLog.println("-zerorewardchecks .............. Check for absence of zero-reward loops");
+		mainLog.println("-zerorewardcheck ............... Check for absence of zero-reward loops");
 		mainLog.println("-nossdetect .................... Disable steady-state detection for CTMC transient computations");
 		mainLog.println("-sccmethod <name> .............. Specify SCC computation method (xiebeerel, lockstep, sccfind)");
 		mainLog.println();