diff --git a/src/Util/Timing.php b/src/Util/Timing.php
index cf27dcfe36..95ee85216d 100644
--- a/src/Util/Timing.php
+++ b/src/Util/Timing.php
@@ -64,7 +64,7 @@ public static function printRunTime($force=false)
 
         if ($time > 60000) {
             $mins = floor($time / 60000);
-            $secs = round((($time % 60000) / 1000), 2);
+            $secs = round((fmod($time, 60000) / 1000), 2);
             $time = $mins.' mins';
             if ($secs !== 0) {
                 $time .= ", $secs secs";