wording fix for #714