It’s pretty small. I’d probably try a tiny toothpick full of clear silicone adhesive and call it good. If it still bothered me I’d use a vinyl repair kit and mix up some color matching goo. I’ve used those kits before with surprisingly good results.
__________________
|