diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 4c869152..145acfb5 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -149,7 +149,7 @@ public class CTMCModelChecker extends DTMCModelChecker
 
 		// Start iterations
 		iters = 1;
-		while (iters < right) {
+		while (iters <= right) {
 			// Matrix-vector multiply
 			dtmc.mvMult(soln, soln2, target, true);
 			// Swap vectors for next iter