diff --git a/src/ex_docmd.c b/src/ex_docmd.c
index f995253..f547771 100644
--- a/src/ex_docmd.c
+++ b/src/ex_docmd.c
@@ -833,7 +833,7 @@
      * 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 4d825df..e0f1edc 100644
--- a/src/version.c
+++ b/src/version.c
@@ -667,6 +667,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    4,
+/**/
     3,
 /**/
     2,