Update links. fix automata bug.