up SPEC.md