Minor fix for encodding errors