fix serialization issues in numbering.xml