fix nfa bug