cleaned up header.tex