Fixing async `teardown()`