re-pdflatex'd