These were renamed and forgotten to be deleted.