diff --git a/prism/src/hybrid/PH_JOR.cc b/prism/src/hybrid/PH_JOR.cc
index 981e5cda..e2bfc1ab 100644
--- a/prism/src/hybrid/PH_JOR.cc
+++ b/prism/src/hybrid/PH_JOR.cc
@@ -300,7 +300,7 @@ jdouble omega		// omega (over-relaxation parameter)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/hybrid/PH_NondetReachReward.cc b/prism/src/hybrid/PH_NondetReachReward.cc
index d4ba20e5..6e9a0ee5 100644
--- a/prism/src/hybrid/PH_NondetReachReward.cc
+++ b/prism/src/hybrid/PH_NondetReachReward.cc
@@ -323,7 +323,7 @@ jboolean min	// min or max probabilities (true = min, false = max)
 	delete soln3;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/hybrid/PH_NondetUntil.cc b/prism/src/hybrid/PH_NondetUntil.cc
index 4f853bbe..8beb2ce1 100644
--- a/prism/src/hybrid/PH_NondetUntil.cc
+++ b/prism/src/hybrid/PH_NondetUntil.cc
@@ -273,7 +273,7 @@ jboolean min	// min or max probabilities (true = min, false = max)
 	delete soln3;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/hybrid/PH_PSOR.cc b/prism/src/hybrid/PH_PSOR.cc
index 20fea4d5..0081e6be 100644
--- a/prism/src/hybrid/PH_PSOR.cc
+++ b/prism/src/hybrid/PH_PSOR.cc
@@ -338,7 +338,7 @@ jboolean forwards	// forwards or backwards?
 	free(soln2);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/hybrid/PH_Power.cc b/prism/src/hybrid/PH_Power.cc
index 1378392b..4f650622 100644
--- a/prism/src/hybrid/PH_Power.cc
+++ b/prism/src/hybrid/PH_Power.cc
@@ -233,7 +233,7 @@ jboolean transpose	// transpose A? (i.e. solve xA=x not Ax=x?)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/hybrid/PH_SOR.cc b/prism/src/hybrid/PH_SOR.cc
index 5c0e1150..eab9c3c0 100644
--- a/prism/src/hybrid/PH_SOR.cc
+++ b/prism/src/hybrid/PH_SOR.cc
@@ -428,7 +428,7 @@ jboolean fwds		// forwards or backwards?
 	free(soln2);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PH_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/mtbdd/PM_JOR.cc b/prism/src/mtbdd/PM_JOR.cc
index d2c08230..9f1ee956 100644
--- a/prism/src/mtbdd/PM_JOR.cc
+++ b/prism/src/mtbdd/PM_JOR.cc
@@ -186,7 +186,7 @@ jdouble omega		// omega (jor parameter)
 	Cudd_RecursiveDeref(ddman, b);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)sol;
 }
diff --git a/prism/src/mtbdd/PM_NondetReachReward.cc b/prism/src/mtbdd/PM_NondetReachReward.cc
index cdc3e493..d145dc8f 100644
--- a/prism/src/mtbdd/PM_NondetReachReward.cc
+++ b/prism/src/mtbdd/PM_NondetReachReward.cc
@@ -191,7 +191,7 @@ jboolean min	// min or max probabilities (true = min, false = max)
 	Cudd_RecursiveDeref(ddman, new_mask);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)sol;
 }
diff --git a/prism/src/mtbdd/PM_NondetUntil.cc b/prism/src/mtbdd/PM_NondetUntil.cc
index 80870b98..be98bb86 100644
--- a/prism/src/mtbdd/PM_NondetUntil.cc
+++ b/prism/src/mtbdd/PM_NondetUntil.cc
@@ -165,7 +165,7 @@ jboolean min		// min or max probabilities (true = min, false = max)
 	Cudd_RecursiveDeref(ddman, a);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)sol;
 }
diff --git a/prism/src/mtbdd/PM_Power.cc b/prism/src/mtbdd/PM_Power.cc
index cc82a85e..d6ce00f0 100644
--- a/prism/src/mtbdd/PM_Power.cc
+++ b/prism/src/mtbdd/PM_Power.cc
@@ -151,7 +151,7 @@ jboolean transpose	// transpose A? (i.e. solve xA=b not Ax=b?)
 	Cudd_RecursiveDeref(ddman, b);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { Cudd_RecursiveDeref(ddman, sol); PM_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)sol;
 }
diff --git a/prism/src/sparse/PS_JOR.cc b/prism/src/sparse/PS_JOR.cc
index f01d81f4..e6add05c 100644
--- a/prism/src/sparse/PS_JOR.cc
+++ b/prism/src/sparse/PS_JOR.cc
@@ -307,7 +307,7 @@ jdouble omega		// omega (over-relaxation parameter)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/sparse/PS_NondetReachReward.cc b/prism/src/sparse/PS_NondetReachReward.cc
index d7f4bbe7..a5ab38d5 100644
--- a/prism/src/sparse/PS_NondetReachReward.cc
+++ b/prism/src/sparse/PS_NondetReachReward.cc
@@ -250,7 +250,7 @@ jboolean min	// min or max probabilities (true = min, false = max)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;*/
 }
diff --git a/prism/src/sparse/PS_NondetUntil.cc b/prism/src/sparse/PS_NondetUntil.cc
index 97704cf8..71f63f5f 100644
--- a/prism/src/sparse/PS_NondetUntil.cc
+++ b/prism/src/sparse/PS_NondetUntil.cc
@@ -220,7 +220,7 @@ jboolean min		// min or max probabilities (true = min, false = max)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/sparse/PS_Power.cc b/prism/src/sparse/PS_Power.cc
index b07e5986..84f85bb9 100644
--- a/prism/src/sparse/PS_Power.cc
+++ b/prism/src/sparse/PS_Power.cc
@@ -250,7 +250,7 @@ jboolean transpose	// transpose A? (i.e. solve xA=x not Ax=x?)
 	delete soln2;
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }
diff --git a/prism/src/sparse/PS_SOR.cc b/prism/src/sparse/PS_SOR.cc
index cef78875..b8b2f1e7 100644
--- a/prism/src/sparse/PS_SOR.cc
+++ b/prism/src/sparse/PS_SOR.cc
@@ -295,7 +295,7 @@ jboolean forwards	// forwards or backwards?
 	if (b != NULL) if (compact_b) free_dist_vector(b_dist); else free(b_vec);
 	
 	// if the iterative method didn't terminate, this is an error
-	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increase the maximum number of iterations", iters); return 0; }
+	if (!done) { delete soln; PS_SetErrorMessage("Iterative method did not converge within %d iterations.\nConsider using a different numerical method or increasing the maximum number of iterations", iters); return 0; }
 	
 	return (int)soln;
 }