diff --git a/rts/Stats.c b/rts/Stats.c
index dd906d968e98e10499fdb713d4b11a16813fea41..5937dedfb3fba52173ed8194d6ac6665f9d7e72e 100644
--- a/rts/Stats.c
+++ b/rts/Stats.c
@@ -342,6 +342,9 @@ stat_endNonmovingGcSync ()
     stats.nonmoving_gc_sync_max_elapsed_ns =
       stg_max(stats.gc.nonmoving_gc_sync_elapsed_ns,
               stats.nonmoving_gc_sync_max_elapsed_ns);
+    if (RtsFlags.GcFlags.giveStats == VERBOSE_GC_STATS) {
+      statsPrintf("# sync %6.3f\n", TimeToSecondsDbl(stats.gc.nonmoving_gc_sync_elapsed_ns));
+    }
     traceConcSyncEnd();
 }