There is no flaw. Flowcharts are just nondeterministic finite automata, which can have more than one end state. An end state can be outwardly connected to other states, as shown here. In English, you're wrong and you fail.