edited header.tex