More corrections to DFA diagram