add some end-of-file newlines