Update dip_specification.md