Comment by wastle

If it's just a word and makes no difference then there should be no issue with using "he" to refer to any and all individuals of the male sex.