We hired a man and a "girl"

A rant honestly, but I thought this might belong in tech since it's a bit more of a tech society thing for me. I'm sure other industries have this issue too, but tech definitely does. If others disagree, please feel free to move it.

So yesterday, we had two new hires show up and we were informed this in our weekly leads meeting, so this is a pretty private setting. When our manager gave a quick blur of one, it was "we expect a lot from him, he's a bit more knowledgeable, did well on our tech test", that kinda thing. And then, when discussing the woman, he kept referring to her as a "girl", so I pointed out that maybe we should use "woman" instead.

I got made fun of - "maybe we can use lady or female or ..." honestly started tuning it out, can't remember the rest. Also accused of nitpicking.

I've been in the industry for a while now and though in general things are good, every now and then something small like this happens and it makes you check the date (yes it's still 2018, I didn't go back 20 years).

To be fair, I know my manager was being funny, but it's easy to joke at someone else's expense.

Wondering, other's experiences on both sides. Have you noticed changes in your workplace, for better hopefully? Maybe other ways you were discriminated against or singled out?