Fix some encoding problems