design.tex fixed