fix dfa post