Update rep.tex