diff --git a/src/lssi.c b/src/lssi.c
index 8c26ade0..44dd819b 100644
--- a/src/lssi.c
+++ b/src/lssi.c
@@ -111,7 +111,7 @@ lssi_print (lssi *l)
       symbol_number sin;
       BITSET_FOR_EACH (biter, l->lookahead, sin, 0)
         fprintf (out, "%s, \n", symbols[sin]->tag);
-      fprintf (out, "}");
+      fprintf (out, "}\n");
     }
 }
 #endif
@@ -253,7 +253,7 @@ shortest_path_from_start (state_item_number target, symbol_number next_sym)
 
   if (trace_flag & trace_cex)
     {
-      fputs ("REDUCE ITEM PATH:", stderr);
+      fputs ("REDUCE ITEM PATH:\n", stderr);
       gl_list_iterator_t it = gl_list_iterator (res);
       const void *sip;
       while (gl_list_iterator_next (&it, &sip, NULL))
diff --git a/src/state-item.c b/src/state-item.c
index 50a1e1be..b0e6ebcd 100644
--- a/src/state-item.c
+++ b/src/state-item.c
@@ -505,9 +505,10 @@ state_items_report (FILE *out)
           if (SI_DISABLED (j))
             {
               item_print (si->item, NULL, out);
-              fputs (" DISABLED", out);
+              fputs (" DISABLED\n", out);
               continue;
             }
+          putc ('\n', out);
           if (si->trans >= 0)
             {
               fputs ("    -> ", out);
@@ -530,6 +531,7 @@ state_items_report (FILE *out)
                     }
                 }
             }
+          putc ('\n', out);
         }
     }
   fprintf (out, "FIRSTS\n");
@@ -541,7 +543,7 @@ state_items_report (FILE *out)
       BITSET_FOR_EACH (iter, FIRSTS (i), j, 0)
         fprintf (out, "    %s\n", symbols[j]->tag);
     }
-  fputc ('\n', out);
+  fputs ("\n\n", out);
 }
 
 void