diff --git a/prism/src/explicit/DTMC.java b/prism/src/explicit/DTMC.java
index 9ad35bd5..98f6aea8 100644
--- a/prism/src/explicit/DTMC.java
+++ b/prism/src/explicit/DTMC.java
@@ -314,6 +314,7 @@ public class DTMC extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numTransitions + " transitions";
 		return s;
 	}
diff --git a/prism/src/explicit/MDP.java b/prism/src/explicit/MDP.java
index 433efb79..36539356 100644
--- a/prism/src/explicit/MDP.java
+++ b/prism/src/explicit/MDP.java
@@ -690,6 +690,7 @@ public class MDP extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numDistrs + " distributions";
 		s += ", " + numTransitions + " transitions";
 		s += ", dist max/avg = " + getMaxNumChoices() + "/"