Small fixes for PdfFile