fix setup.tex