fix incorrect comparison in check for trivial aut