Bug in PDF export