fix an encoding bug intruduced by typo