bug in punch_*_param_init