Close #2. DFA is missing a label "b".

Reported by Helmut Zöhrer. Thanks!