diff --git a/src/math/lp/mps_reader.h b/src/math/lp/mps_reader.h
index f2cf2d320..8093954b1 100644
--- a/src/math/lp/mps_reader.h
+++ b/src/math/lp/mps_reader.h
@@ -277,8 +277,8 @@ class mps_reader {
         } else {
         fail:
             set_m_ok_to_false();
-            *m_message_stream << "cannot understand this line" << std::endl;
-            *m_message_stream << "line = " << m_line <<  ", line number is " << m_line_number << std::endl;
+            *m_message_stream << "cannot understand this line\n"
+                                 "line = " << m_line <<  ", line number is " << m_line_number << std::endl;
             return;
         }
     }
diff --git a/src/tactic/core/collect_statistics_tactic.cpp b/src/tactic/core/collect_statistics_tactic.cpp
index b02adad6e..b2c46cae6 100644
--- a/src/tactic/core/collect_statistics_tactic.cpp
+++ b/src/tactic/core/collect_statistics_tactic.cpp
@@ -73,10 +73,10 @@ public:
         for (unsigned i = 0; i < sz; i++)
             for_each_expr(cp, visited, g->form(i));
 
-        std::cout << "(" << std::endl;
+        std::cout << "(\n";
         for (auto const& kv : m_stats) 
-            std::cout << " :" << kv.first << "    " << kv.second << std::endl;
-        std::cout << ")" << std::endl;
+            std::cout << " :" << kv.first << "    " << kv.second << '\n';
+        std::cout << ")\n";
 
         g->inc_depth();
         result.push_back(g.get());