fix design_rescue printf bug