DFA update.