Make the new PDF string parser more efficient