Fixes highlighing issue with textual PDF
Merge pull request #936 from emmanuel-keller/1.5

Fixes highlighing issue with textual PDF