I wonder how this creeped in. I don't remember doing anything manually to change this file.