Fixes stuff in DFA