minor encoding fix