Tokenization: fix errors in DFA readme