Should this be marked as killed here?