Fix a couple of typos in the spec