bugfix, probs with pdflatex