fix some encoding