update Spec.md