Updates spec.md