fix in XML printing