fix timestamp formatting: end_time may not be set