Another wording change in accordance with a suggestion from @karlhungus

Thanks!