fix silly use-after-deletion