“His” as the default gender pronoun is a semi-old-fashioned but very widespread convention.