(w32_wnd_proc): Fix bug introduced by previous change;