Minor changes to PDF Exporter