Fixing problems with a DFA example