diff --git a/GC/ThreadMaster.hpp b/GC/ThreadMaster.hpp
index 2d2b32f1..a754b2e7 100644
--- a/GC/ThreadMaster.hpp
+++ b/GC/ThreadMaster.hpp
@@ -74,8 +74,7 @@ void ThreadMaster<T>::run()
     for (auto thread : threads)
         thread->join_tape();
 
-    Timer timer;
-    timer.start();
+    machine.reset_timer();
 
     threads[0]->tape_schedule.push(0);
 
@@ -100,7 +99,8 @@ void ThreadMaster<T>::run()
     exe_stats.print();
     stats.print();
 
-    cerr << "Time = " << timer.elapsed() << " seconds" << endl;
+    machine.print_timers();
+
     cerr << "Data sent = " << stats.sent * 1e-6 << " MB" << endl;
 
     machine.print_global_comm(*P, stats);
diff --git a/Processor/BaseMachine.h b/Processor/BaseMachine.h
index 534efb11..564affe0 100644
--- a/Processor/BaseMachine.h
+++ b/Processor/BaseMachine.h
@@ -31,8 +31,6 @@ protected:
     string domain;
     string relevant_opts;
 
-    void print_timers();
-
     virtual void load_program(const string& threadname, const string& filename);
 
 public:
@@ -65,6 +63,8 @@ public:
     void start(int n);
     void stop(int n);
 
+    void print_timers();
+
     virtual void reqbl(int) {}
 
     static OTTripleSetup fresh_ot_setup(Player& P);