Got rid of a file that I misnamed