It's an easy trap to fall into. I'm looking around my office here and I can count about 20 men and 5 women. When I was in university the ratio far more male dominated. It's unfortunate that such an imbalance can make things uncomfortable for women (e.g. oafishly gendering things as male) in the industry sometimes.