Actually deleted the extraneous file.