There should be a newline at the end of the file (and that'll avoid this spurious whitespace change)