Updates to DESIGN.md