correctly export TermDiff