Various fixes to the language spec.