fix segmentation fault in NOPUNISH