Fix DFA