Minor fix (related to the unknown encoding reported by ML)