diff --git a/prism/src/prism/OptionsIntervalIteration.java b/prism/src/prism/OptionsIntervalIteration.java
index 7c0b1cd6..78d01a8d 100644
--- a/prism/src/prism/OptionsIntervalIteration.java
+++ b/prism/src/prism/OptionsIntervalIteration.java
@@ -228,16 +228,16 @@ public class OptionsIntervalIteration
 					boundMethod = BoundMethod.DEFAULT;
 					break;
 				case "variant-1-coarse":
-					boundMethod = BoundMethod.DEFAULT;
+					boundMethod = BoundMethod.VARIANT_1_COARSE;
 					break;
 				case "variant-1-fine":
-					boundMethod = BoundMethod.DEFAULT;
+					boundMethod = BoundMethod.VARIANT_1_FINE;
 					break;
 				case "variant-2":
-					boundMethod = BoundMethod.DEFAULT;
+					boundMethod = BoundMethod.VARIANT_2;
 					break;
 				case "dsmpi":
-					boundMethod = BoundMethod.DEFAULT;
+					boundMethod = BoundMethod.DSMPI;
 					break;
 				default:
 					throw new PrismException("Unknown argument to interval iteration option '" + option + "', expected one of "