May I have a new line at the end of the file, so that git is happier?