Fixed some typos in the spec.