XML printer escapes things again