fix an erroneous delete