Further credit tweaks to the Language Spec.