small changes to BigNFA