Well, I would refer to it as sexual "harassment" allegations. The other term is often used to describe rape.
Maybe there are details that I've forgotten, but I don't think he crossed that kind of line. He hit on her and made her feel very uncomfortable, which is not okay. But I don't think it was the kind of bad behavior we can't make light of, especially if he's the target.