minor improvements to PDF stuff