little tweak DFA