Add some more Automata names.