PDFTools minor edits