Fix win32 bustage created by r17457.