Minor XML tweak