diff --git a/.muse/config b/.muse/config
index 8dfe1118..245f4556 100644
--- a/.muse/config
+++ b/.muse/config
@@ -1,3 +1,2 @@
 setup = ".muse/setup.sh"
 build = "make"
-verifiers = [ "infer" ]
diff --git a/.muse/setup.sh b/.muse/setup.sh
index d03bbc77..1ea5758e 100755
--- a/.muse/setup.sh
+++ b/.muse/setup.sh
@@ -1,5 +1,5 @@
 if [ $(whoami) = "root" ]; then
-    apt install -y libssl1.0-dev libcurl4-gnutls-dev
+    apt install -y libssl1.1-dev libcurl4-gnutls-dev
 fi
 
 cd $1
diff --git a/src/acvp_capabilities.c b/src/acvp_capabilities.c
index e37782de..deec0b79 100644
--- a/src/acvp_capabilities.c
+++ b/src/acvp_capabilities.c
@@ -67,7 +67,6 @@ static ACVP_DSA_CAP *allocate_dsa_cap(void) {
     // Allocate the array of dsa_mode
     modes = calloc(ACVP_DSA_MAX_MODES, sizeof(ACVP_DSA_CAP_MODE));
     if (!modes) {
-        free(cap);
         return NULL;
     }
     cap->dsa_cap_mode = modes;