added a missing fix to the win32-specific code.