pretty-print times