diff --git a/NEWS b/NEWS
index feddc4544..eb2ec2e4d 100644
--- a/NEWS
+++ b/NEWS
@@ -5,7 +5,8 @@ New in spot 1.1.3a (not released)
       parse guards of the form (a) || (b) output by ltl2ba or
       ltl3ba, and would only understand ((a) || (b)).
     - When used from ltlcross, the same parser would fail to
-      parser further neverclaims after the first failure.
+      parse further neverclaims after the first failure.
+    - Add a missing newline in some error message of ltlcross.
 
 New in spot 1.1.3 (2013-07-09)
 
diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index db5deed23..892c570c7 100644
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -805,9 +805,9 @@ namespace
 	    }
 	err << "} when evaluating ";
 	if (products > 1)
-	  err << "state-space #" << p << "/" << products;
+	  err << "state-space #" << p << "/" << products << "\n";
 	else
-	  err << "the state-space";
+	  err << "the state-space\n";
       }
   }