Fix what empirically seems to be a double-delete, though I'm not sure how it is.