Another small wording tweak in the docs