Ten years ago I would have said "rip it out"...but I've learned life is too short for such tediousness. Even with a trained eye if you hadn't said something it would have gone unnoticed. If it bothers YOU then change it...if it just bothers other readers, leave it....that way you'll get more time to work on something else or finish this one.