diff --git a/src/gui_w32.c b/src/gui_w32.c
index 82ca7de5d8..2c665cb46d 100644
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -2050,7 +2050,6 @@ remove_any_timer(void)
     int
 gui_mch_wait_for_chars(int wtime)
 {
-    MSG		msg;
     int		focus;
 
     s_timed_out = FALSE;
diff --git a/src/version.c b/src/version.c
index 3c0419586d..cb40b29743 100644
--- a/src/version.c
+++ b/src/version.c
@@ -753,6 +753,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1874,
 /**/
     1873,
 /**/