DFA.minimized bugfix