Update design-spec.md