Fix an error in xml documentation