Fix Dfa test case.