Fixed errors in NFACreator