Update doc/design.tex