Update design.tex

minor changes