My recent change accidentally changed the reported time from
milliseconds to seconds, resulting in wrong timings being displayed.