It's imo not about pettiness, finding errors of others to shame them, or holding others to a bar set too high, but rather, if we don't, we start tumbling towards lesser good things as a society and community and humans.

Not to say that it's not ok do make errors (it is, and it's human), but if we spot one and can easily correct it, we should.