[#3006] Actually fixed end of file nonsense.