diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 082712d4..150eb109 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -169,6 +169,8 @@ public class CTMCModelChecker extends DTMCModelChecker
 		int left, right;
 		double q, qt, acc, weights[], totalWeight;
 
+		// TODO: remove 'init' from args, but probably replace with 'mult' like in other engines
+		
 		// Start bounded probabilistic reachability
 		timer = System.currentTimeMillis();
 		mainLog.println("Starting time-bounded probabilistic reachability...");