Updated spec.md