Fix typo in DESIGN.md