Code

Correct application of older Win32 patch. Fixes bug #616589.