Update dspec.md

Fixed some formatting