Corrected text encoding on pdfmarks.txt