fix a slight bug/corner case in backwards dfa