fixing minor encoding bug