Fix some encoding errors