Update design_spec.md