bb #6804 and pdf_parse_trailer()