Fixed non-standard format used in time.strftime()