That's a penalty by the letter of the law, but hundreds of those go by every week without the referee intervening. A bit infuriating that he's intervened here, just for the good of the game. There's literally nothing exciting about seeing a penalty. Especially one as innocuous as that.