added nfa stuff