some enhancements to the arXMLiv conversion