Bug in DFA