Fix encoding for unicode points ≥256