diff --git a/src/test/api.cpp b/src/test/api.cpp
index 5c49f8d23..ac4fe9818 100644
--- a/src/test/api.cpp
+++ b/src/test/api.cpp
@@ -160,7 +160,7 @@ void test_optimize_translate() {
     Z3_del_context(ctx1);
 }
 
-void test_max_reg() {
+void test_max_reg() {    
     // BNH multi-objective optimization problem using Z3 Optimize C API.
     // Mimics /tmp/bnh_z3.py: two objectives over a constrained 2D domain.
     //   f1 = 4*x1^2 + 4*x2^2
diff --git a/src/test/main.cpp b/src/test/main.cpp
index bc91a9acf..8e5bd70fb 100644
--- a/src/test/main.cpp
+++ b/src/test/main.cpp
@@ -457,13 +457,11 @@ static int run_parallel(const char* exe_path, bool test_all, unsigned num_jobs,
                               << result.exit_code << ", "
                               << std::fixed << std::setprecision(1)
                               << result.elapsed_secs << "s)" << std::endl;
-                    if (!result.output.empty()) {
-                        std::cout << "--- " << result.name << " output ---" << std::endl;
-                        std::cout << result.output;
-                        if (result.output.back() != '\n')
-                            std::cout << std::endl;
-                        std::cout << "--- end " << result.name << " ---" << std::endl;
-                    }
+                }
+                if (!result.output.empty()) {
+                    std::cout << result.output;
+                    if (result.output.back() != '\n')
+                        std::cout << std::endl;
                 }
             }
         }