Update punch.h