fix time formatting for output file