modify display-time-format