Fix missing BODY/END in last example automaton