fix xml2succinct bugs.