Rationales for whitespace; newline at end of file