Update header.tex