Better timestamp formatting.