[#3006] End of file nonsense.