Correct encoding of text to go in XML.