Slight simplification of exception_wrapper constructor