docs: Fix formatting of times example