correction in the `default` rule description