hack to remove ; in xrefs which have been introduced through a dodgy regular expression