Fix "object" instead of "automaton" in section heading.