Correct snippet for latexheader