Changed formatting of time stamps in files.