Clarify internal_catch etc.