fix timeofday formatting