Minor compilation fix on Windows.