update dspec.md