diff --git a/bin/BFT-SMaRt.jar b/bin/BFT-SMaRt.jar
index 1a2e3a1c82454057f5867db501e26faa3a39e96c..429340b15b4837ed2c613bbafd97c625669b942e 100644
Binary files a/bin/BFT-SMaRt.jar and b/bin/BFT-SMaRt.jar differ
diff --git a/src/bftsmart/reconfiguration/util/Configuration.java b/src/bftsmart/reconfiguration/util/Configuration.java
index e08a0af1b82860c6d0ef9d8b65c9e66ec3d45099..9958bc2a7731f8684936db0a65ba6ec0ea3261e9 100644
--- a/src/bftsmart/reconfiguration/util/Configuration.java
+++ b/src/bftsmart/reconfiguration/util/Configuration.java
@@ -189,8 +189,8 @@ public class Configuration {
             }
             
             s = (String) configs.remove("system.totalordermulticast.prooftype");
-            if(s == null || !s.equalsIgnoreCase("macvector") || !s.equalsIgnoreCase("signatures")){
-                proofType = "macvector";
+            if(s == null || (s != null && !s.equalsIgnoreCase("macvector"))){
+                proofType = "signatures";
             }else{
                 proofType = s;
             }