Really fix formatting of timer output