Update specs.md