Update design.tex

Proofread