Fix some typos in SPEC.md lel