Correction to Unicode encoding