deleted header.tex