fix nfaConstructor bug