[minor, wording]