diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index e1de83a..b76aacd 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -6320,7 +6320,7 @@
     // This timeout makes sure that we will return if no characters arrived in
     // time. If "wtime" is zero just use one.
     if (wtime >= 0)
-	timer = timeout_add(wtime <= 0 ? 1L : wtime,
+	timer = timeout_add(wtime == 0 ? 1L : wtime,
 						   input_timer_cb, &timed_out);
     else
 	timer = 0;
diff --git a/src/version.c b/src/version.c
index 3d24067..71fd1c1 100644
--- a/src/version.c
+++ b/src/version.c
@@ -784,6 +784,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    872,
+/**/
     871,
 /**/
     870,