No it’s definitely not a face mask. He clearly just gripped the top of the helmet. If they were going to flag it I thought it would be for roughing the passer because they’ve been strict on defenders touching a QBs helmet. Which I think is garbage usually.