Minor fix on design.md.