fix xml encoding