fixing a typo and slight reformulation of unambiguous automata