Fixed "automata?".