I doubt that will cause you any grief. If it bothers you, use one-inch squares of 600 grit emory paper and a round ball ( wood / large marble / round end of a screwdriver handle / etc. ) to polish it out.