more editing of the DFA project