Small tweaks to the Language Spec.