diff --git a/package-lock.json b/package-lock.json
index ede56ab..40562f8 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "rpki-validator",
-  "version": "2.13.12",
+  "version": "2.13.13",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "rpki-validator",
-      "version": "2.13.12",
+      "version": "2.13.13",
       "license": "BSD-3-Clause",
       "dependencies": {
         "brembo": "^2.1.3",
diff --git a/package.json b/package.json
index a319cbc..070d8bf 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "rpki-validator",
-  "version": "2.13.12",
+  "version": "2.13.13",
   "description": "An RPKI validator that works also in the browser.",
   "main": "dist/index.js",
   "bin": "dist/index.js",