Update Spec.md