Fix extra parens in the PDF processor.