diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index a15901b20..90496d3b7 100644
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -1312,8 +1312,8 @@ namespace
 	      if (neg[i])
 		{
 		  if (verbose)
-		    std::cerr << ("info: building product between state-space and"
-				  " N") << i
+		    std::cerr << ("info: building product between state-space"
+				  " and N") << i
 			      << " (" << neg[i]->num_states() << " st., "
 			      << neg[i]->num_edges() << " ed.)\n";