Fixed an odd XML file encoding. #13783