I forget, did we have a policy about newlines at the ends of files?