Comment: Explain why we set TimeInputFormat