Bug fix for automaton init