Add: a minor improvement to the handling of tasklet abortion.