Another tweak to the same part of the Language Spec.