Use strftime to format time values; be explicit about message formatting