Update spec.md