Here & in other files, GitHub is complaining about the lack of a final newline. Might as well clean them up before merging...