diff --git a/src/ex_docmd.c b/src/ex_docmd.c
index f995253673c7bcc863b2c70719776d160d354a58..f5477715551d6b73c63d1a7459f2f88e5a79ba2f 100644
--- a/src/ex_docmd.c
+++ b/src/ex_docmd.c
@@ -833,7 +833,7 @@ do_cmdline(cmdline, getline, cookie, flags)
      * If requested, store and reset the global values controlling the
      * exception handling (used when debugging).
      */
-    else if (flags & DOCMD_EXCRESET)
+    if (flags & DOCMD_EXCRESET)
 	save_dbg_stuff(&debug_saved);
 
     initial_trylevel = trylevel;
diff --git a/src/version.c b/src/version.c
index 4d825dff6ec82fc0df025ca06e3151e78d79c602..e0f1edc2e59faa18f9889327b9f3608dd980866a 100644
--- a/src/version.c
+++ b/src/version.c
@@ -666,6 +666,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4,
 /**/
     3,
 /**/