added texofpdfstring in one place