Changing some special characters

Hopefully now the PDF output works again.