Fix type of out_exception