Fix formatting of times example