I agree - learning to forgive is rare virtue. For example, I think we should also "learn to forgive" to people who point out that Gandhi is the right spelling. It's not meant as many malice of offence. So, it is a matter of technicality. Let go.