Aha, that explains why no one noticed the errors in this file earlier.  Good to know!