fixed examples so they work with `with`