Bugfix in DFA minimization.