Fix a Windows compilation problem with prior commit.