diff --git a/src/print_graph.c b/src/print_graph.c
index d1496af7..2e3fd460 100644
--- a/src/print_graph.c
+++ b/src/print_graph.c
@@ -55,7 +55,7 @@ print_core (struct obstack *oout, state *s)
       snritems = nitemset;
     }
 
-  obstack_printf (oout, "%d\\n", s->number);
+  obstack_printf (oout, "state %d\\n", s->number);
   for (i = 0; i < snritems; i++)
     {
       item_number *sp;