Update tour

Author: b-studios

examples/tour/captures.effekt.md

@@ -38,7 +38,7 @@ For the same reason, we must not return a function that closes over such a capab
 
 To prevent capabilities from escaping their scope, Effekt tracks captures.
 In the case of the previous example, the return type of the handler is `Exception at {exc}`.
-This is called a boxed computation. A boxed computation may only be used after unboxing it, which is only permitted when all its captures are in scope. In fact, the example above does not typecheck, since the type `Exception at {exc}` would not be well-formed outside of the handler that introduces (and binds!) the capability `exc`.
+This is called a boxed computation. A boxed computation may only be used after unboxing it, which happens automatically and is only permitted when all its captures are in scope. In fact, the example above does not typecheck, since the type `Exception at {exc}` would not be well-formed outside of the handler that introduces (and binds!) the capability `exc`.
 
 ## Boxing