undid NFAState changes