DOC: Correct sundry misprints in transys.automata