code formatting cleanup
dfa -> DFA