small fixes to xml parsing into verbatim terms