fixed dfa example in arrow tutorial