diff --git a/src/cmd_context/cmd_context.h b/src/cmd_context/cmd_context.h
index ac5a7d28c..9e2f01797 100644
--- a/src/cmd_context/cmd_context.h
+++ b/src/cmd_context/cmd_context.h
@@ -311,7 +311,7 @@ protected:
     // Singleton statistics object to accumulate stats throughout the run
     // This ensures theory statistics collected during timeout are preserved
     // Using a pointer to avoid any accidental copying
-    std::unique_ptr<statistics>      m_global_stats;
+    std::unique_ptr<statistics>  m_global_stats;
     bool                         m_stats_collected;
     mutex                        m_stats_mutex;  // Protect statistics access
 
diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp
index 59385b6d0..6c19cfef3 100644
--- a/src/smt/smt_context_pp.cpp
+++ b/src/smt/smt_context_pp.cpp
@@ -28,9 +28,8 @@ Revision History:
 namespace smt {
     void context::flush_statistics() {
         // Only collect statistics once to avoid duplication
-        if (m_statistics_collected) {
+        if (m_statistics_collected)
             return;
-        }
         
         // Force aggregation of theory statistics into m_aux_stats
         // This ensures that detailed theory statistics are available even on timeout/interruption
diff --git a/src/smt/smt_kernel.cpp b/src/smt/smt_kernel.cpp
index a0462ce0d..daf5bd328 100644
--- a/src/smt/smt_kernel.cpp
+++ b/src/smt/smt_kernel.cpp
@@ -258,7 +258,7 @@ namespace smt {
     }
 
     void kernel::flush_statistics() {
-        IF_LOG(DEBUG, log() << "smt::kernel::flush_statistics() called\n";);
+        TRACE(smt_kernel, tout << "smt::kernel::flush_statistics() called\n";);
         m_imp->m_kernel.flush_statistics();
     }