Fixes DFA bug