Fixed some bugs in the pdf-support