Mind you, had he snapped Henderson's neck the ref would have had a decision to make... Yellow card or just a warning?