Fix highlight encoding.