improve timestamp formatting