I hate end-of-file-newlines