Prettier printing of times