diff --git a/src/testdir/test_channel_pipe.py b/src/testdir/test_channel_pipe.py
index 5caffcb..5202908 100644
--- a/src/testdir/test_channel_pipe.py
+++ b/src/testdir/test_channel_pipe.py
@@ -29,6 +29,8 @@
 
     while True:
         typed = sys.stdin.readline()
+        if typed == "":  # EOF -- stop
+            break
         if typed.startswith("quit"):
             print("Goodbye!")
             sys.stdout.flush()
diff --git a/src/version.c b/src/version.c
index 0dc91da..523791c 100644
--- a/src/version.c
+++ b/src/version.c
@@ -747,6 +747,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    702,
+/**/
     701,
 /**/
     700,