Looks like no big deal at all, though it wouldn't hurt to sand that edge a bit with some 400 grit sandpaper. Wet/dry or, dry, it probably won't matter much, just smooth it out a bit.