Small fix to wording in documentation