Fix a tiny typo in spec.md