DESIGN.md fixes / update