PDF: better fix for r9615