fix funny characters (that will teach me to cut and paste from a PDF)