diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 219c27a2..5d3862c1 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -216,7 +216,7 @@ public class CTMCModelChecker extends DTMCModelChecker
 	{
 		mainLog.println("Building embedded DTMC...");
 		DTMC dtmcEmb = ((CTMC) dtmc).buildImplicitEmbeddedDTMC();
-		return super.computeReachProbs(dtmcEmb, null, target, init, known);
+		return super.computeReachProbs(dtmcEmb, remain, target, init, known);
 	}
 
 	/**