update spec.md