With hindsight, it's probably a red in the context of current directives. I'd be surprised, however, if there wasn't a number of similar instances where a red card wasn't produced over the course of the season. There was certainly no intent (that you can see from the video), so presumably you wouldn't be looking at any extended ban.