diff --git a/gcc/genautomata.c b/gcc/genautomata.c
index 9015f8c5452..e72b52c7f04 100644
--- a/gcc/genautomata.c
+++ b/gcc/genautomata.c
@@ -9358,9 +9358,8 @@ output_description ()
       decl = description->decls [i];
       if (decl->mode == dm_reserv)
 	{
-          fprintf (output_description_file, "reservation ");
-          fprintf (output_description_file, "%s", DECL_RESERV (decl)->name);
-          fprintf (output_description_file, ": ");
+          fprintf (output_description_file, "reservation %s: ",
+		   DECL_RESERV (decl)->name);
           output_regexp (DECL_RESERV (decl)->regexp);
           fprintf (output_description_file, "\n");
         }