minor changes with respect to ntDiff