Bugfix: Bad DFA final state.