updated spec.md