Fix a typo

... in the specs.