Add a newline at eof

to make Kevin happy