Tweaks to the Language Spec again.