teardown with the set of DEFAULT_AUTO.