Was Gabriel's kick to Martinez's head lucky to escape punishment?

Gabriel's kick to Martinez's head during the box challenge went unpunished by the referee.

Summary by MatchPal from the original report at skysports.com. Reporting and images belong to the source.