minor style tweak of time converter