A note: Constantly referring to women as girls is a part of the problem. There are certainly women that I know and would use that term to refer to them, for various reason. Familiarity, primarily, as in: "Hey, what are the girls doing tonight?" as a question posed to a female friend about our common group of female friends. But you use girl not just for the specific person (Julie Horvath) but for all women ("If a girl feels harassed..."), and not in a case of familiarity. It's removing them from the category of peers (as adult persons) and putting them into a subordinate group (child persons). And it presents the possibility of dismissing the claim because they're not mature and don't really understand the difference between harassment and ribbing.
Language matters.