Tweaking XML encoding