fix nfa copy