document exception-overriding behaviour in withFile