The Delicate Art of Giving Feedback
Robert C. Pozen
March 28, 2013
More generally, managers need to weigh the tradeoffs involved in making negative feedback. If you criticize your employees, you will likely provide some corrective information, but you will also put your employee in a bad mood.
If an error is so inconsequential that the corrective value of criticism is low, it might make sense for you to keep that feedback to yourself.