diff --git a/build_info.json b/build_info.json
index 4400c85..02b709d 100644
--- a/build_info.json
+++ b/build_info.json
@@ -1,8 +1,8 @@
 {
     "build_time": "",
     "source files": {
-        "version": "v2.5.1-3-g613e169",
-        "commit": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
+        "version": "v2.5.1-4-g70426b2",
+        "commit": "70426b2d22189defb1843501803e4d3ec96c7715",
         "dirty": false
     },
     "pytex": {
@@ -44,9 +44,9 @@
         {
             "name": "mkessler-refproof.sty",
             "source file": "refproof.pysty",
-            "build time": "2022/01/11 20:41",
-            "source version": "v2.5.1-1-gda44daa",
-            "source commit hash": "da44daa271827e7dccb05e12f990638b24297b48",
+            "build time": "2022/01/11 21:58",
+            "source version": "v2.5.1-4-g70426b2",
+            "source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
             "pytex version": "v1.2.0-16-gd1806d9",
             "pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
             "dirty": false
@@ -324,9 +324,9 @@
         {
             "name": "translator-mathematical-categories-dictionary-{language}.dict",
             "source file": "mathematical-categories.pydict",
-            "build time": "2022/01/11 21:17",
-            "source version": "v2.5.1-3-g613e169",
-            "source commit hash": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
+            "build time": "2022/01/11 21:58",
+            "source version": "v2.5.1-4-g70426b2",
+            "source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
             "pytex version": "v1.2.0-16-gd1806d9",
             "pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
             "dirty": false
diff --git a/utils/translator-mathematical-categories-dictionary-English.dict b/utils/translator-mathematical-categories-dictionary-English.dict
index 4c6398a..5ad2ffa 100644
--- a/utils/translator-mathematical-categories-dictionary-English.dict
+++ b/utils/translator-mathematical-categories-dictionary-English.dict
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-3-g613e169 (commit 613e169)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % This LaTeX dictionary is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the dictionary can be
diff --git a/utils/translator-mathematical-categories-dictionary-German.dict b/utils/translator-mathematical-categories-dictionary-German.dict
index 65874fe..10818a5 100644
--- a/utils/translator-mathematical-categories-dictionary-German.dict
+++ b/utils/translator-mathematical-categories-dictionary-German.dict
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-3-g613e169 (commit 613e169)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % This LaTeX dictionary is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the dictionary can be
diff --git a/wip/mkessler-refproof.sty b/wip/mkessler-refproof.sty
index a99ff1d..b94448e 100644
--- a/wip/mkessler-refproof.sty
+++ b/wip/mkessler-refproof.sty
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-1-gda44daa (commit da44daa)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -167,7 +167,7 @@
     \setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
     \FSPop{mkessler@refproof@save@claim}
     \addtocounter{mkessler@refproof@proofdepth}{-1}
-   \let\theclaim\mkessler@refproof@saved@theclaim
+    \let\theclaim\mkessler@refproof@saved@theclaim
 }
 
 %%% A 'smart' proof environment
@@ -179,6 +179,7 @@
         \protected@edef\mkessler@refproof@dummy@expand{\arabic{claim}}
         \FSPush{mkessler@refproof@save@claim}{\mkessler@refproof@dummy@expand}
         \setcounter{claim}{0}
+        \let\mkessler@refproof@saved@theclaim\theclaim
         \def\theclaim{\arabic{claim}}
         \ifnum\value{mkessler@refproof@proofdepth}>1%
             \mkessler@refproof@saved@subproof[%
@@ -205,6 +206,8 @@
         %Restore previous claim counter
         \setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
         \FSPop{mkessler@refproof@save@claim}
+        \addtocounter{mkessler@refproof@proofdepth}{-1}
+        \let\theclaim\mkessler@refproof@saved@theclaim
     }
 }