Fix summary.tex