Fix formatting of timer output