better formatting for time