cleanup verbose output in dfa.