They really should have been booked for that. Quite disgraceful, really. I perhaps have different standards, and I know that sportsmanship is an old-fashioned idea, and plays no part in the modern game, but this sort of thing needs action by referees/authorities.