Clean up supp.tex