diff --git a/prism/src/strat/MDStrategy.java b/prism/src/strat/MDStrategy.java
index 96c0ca76..161bce3d 100644
--- a/prism/src/strat/MDStrategy.java
+++ b/prism/src/strat/MDStrategy.java
@@ -55,7 +55,7 @@ public abstract class MDStrategy implements Strategy
 	{
 		int n = getNumStates();
 		for (int s = 0; s < n; s++) {
-			out.println(s + ":" + getChoice(s) + "," + getChoiceAction(s));
+			out.println(s + ":" + getChoiceAction(s));
 		}
 	}
 }