You’re right, but the principle is the same.
Grammatical default to male gender is perfectly acceptable.