Updates while developing dfa.