Tweak to last commit's changes to the Language Spec.