updates spec.md