Various fixes to the Language Spec.