Fix a compilation issue with VS10.