fix for automata example