fixed a bug in Automata.toString()