modify Spec.md