Fix an oddity in PDFDocEncoding.