Better formatting of ISO 8061 time