Update dspec.md