I have contended for some time that instead of writing 'man' as the default we should use 'woman'. After all, man is clearly included in the word. If desired, it could be written as (wo)man.