automata fixing README....