Correct a typo in spec