DFA changes