Wording tweak to the language spec.