Fix silly bug in Windows code.