Fix bug 3217, wording