"there was no harassment according to legal definition. " He's extremely lucky. In Canada, and in a growing number of jurisdictions - there is 'harassment' so long as the victim feels as if there was. If a girl feels harassed - then that's it. Guilty. It's a deep breach of our fundamental rights, in that crimes should be determined objectively, and not subject to the whims and feelings of a victim. Obviously, this is…
For someone trying to define how harassment should be dealt with, you're certainly keen on dismissively calling women "girls".
I often call people quite my junior 'boys' and 'girls'. I work with a startup of dudes under 24. I call them 'lads'. I could technically be their father. Is that wrong? No.
Neither is using the term Mrs. Ms. or Miss.. In far-left socialist Montreal, where women are not even allowed by law to take their husband's name - people use the French equivalent everywhere: 'Madame' and 'Mademoiselle'. Same in Germany. Is that harassment now?
I think this kind of comment is not helping the situation - you want to find prejudice wherever you can, even when there is none there.
Let's work on getting the actual harassment stuff fixed - and avoid getting into culture wars.