Fix missing end-of-file newlines