Update nfa.html