fix encoding bug in xml (for good this time)