diff --git a/src/video/win32_v.cpp b/src/video/win32_v.cpp
index 1e811d1c9c..b23d57ac50 100644
--- a/src/video/win32_v.cpp
+++ b/src/video/win32_v.cpp
@@ -758,7 +758,7 @@ static void Win32GdiStop(void)
 #if !defined(WINCE)
 	if (_wnd.fullscreen) ChangeDisplaySettings(NULL, 0);
 #endif
-	if (_double_size) {
+	if (_wnd.double_size) {
 		_cur_resolution[0] *= 2;
 		_cur_resolution[1] *= 2;
 	}