DFA difference calculation fixed.