Corrected a bug in reverse DFA.