@Clitheroe: It's been correct for a long time. Even when people used "he". People just never worried about it because back then women actually were ignored. It just never adjusted after we started realizing we're operating at 49% efficiency.