minor fix in xml deserialization helper object