slight cleanup of automata file