fix typos in design.md