diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java
index d676eab1..c2397806 100644
--- a/prism/src/explicit/MDPSimple.java
+++ b/prism/src/explicit/MDPSimple.java
@@ -422,6 +422,10 @@ public class MDPSimple extends ModelSimple implements MDP
 		}
 		set = trans.get(s);
 		set.add(distr);
+		// Add null action if necessary
+		if (actions != null && actions.get(s) != null)
+			actions.get(s).add(null);
+		// Set action
 		setAction(s, set.size() - 1, action);
 		// Update stats
 		numDistrs++;