diff --git a/prism/src/prism/StochModelChecker.java b/prism/src/prism/StochModelChecker.java
index edfdfd41..7a3a0f15 100644
--- a/prism/src/prism/StochModelChecker.java
+++ b/prism/src/prism/StochModelChecker.java
@@ -2023,7 +2023,13 @@ public class StochModelChecker implements ModelChecker
 		
 		// compute transient probabilities
 		try {
-			probs = computeTransientProbs(trans, init, time);
+			// special case: time = 0
+			if (time == 0.0) {
+				JDD.Ref(init);
+				probs = new StateProbsMTBDD(init, model);
+			} else {
+				probs = computeTransientProbs(trans, init, time);
+			}
 		}
 		catch (PrismException e) {
 			JDD.Deref(init);