small fix to time formatting