fix some encoding errors