It becomes really draining when it happens every time. It can be a stage though and boy a may grow out of it.
Could you try talking to you son about telling boy a she doesn't like it when he does xyz? Often kids pay no attention to their parents but if their friend tells them they don't like it then it can have an impact. It may also have an impact on the parents if they hear your son telling him off