I didn't think it was a pen, but should there be a protocol for just treading on someone's leg like that? You could claim any instance of it to be 'accidental' since, as we know, footballers are all 'not that type of player'.