I totally agree, players should not be allowed to punch, next time he'll punch, miss the ball on purpose and hit the chin, groin or an unprotected part of the body. This should be not allowed just like face-masking, horse-collar tackles and other defensive hits which are illegal.