fix small error in xml docs