Fixing code errors on DESIGN.md