Fix some encoding errors found by Robert Schlicht