Fixed settings bug; added automata plugin