clarify why we call is_file here