diff --git a/prism/src/pta/ForwardsReach.java b/prism/src/pta/ForwardsReach.java
index a1533cfb..89790632 100644
--- a/prism/src/pta/ForwardsReach.java
+++ b/prism/src/pta/ForwardsReach.java
@@ -251,7 +251,7 @@ public class ForwardsReach
 		timer = System.currentTimeMillis() - timer;
 		mainLog.println("Graph constructed in " + (timer / 1000.0) + " secs.");
 		mainLog.print("Graph: " + graph.states.size() + " symbolic states");
-		mainLog.println("), " + target.cardinality() + " target states");
+		mainLog.println(" (" + initialStates.size() + " initial, " + target.cardinality() + " target)");
 
 		// Print a warning if there are no target states
 		if (target.cardinality() == 0)