Minor change for win32 compilation.