Fixing typos in the spec.