fix encoding bug in xml