Fix typo in the spec