SPEC.md update