diff --git a/src/LDDState.h b/src/LDDState.h
index 074a25371fb442715947d9518cd7eeb44f785895..aa8f5d795f5f433db8710e4db9d8539c1d00ac1e 100755
--- a/src/LDDState.h
+++ b/src/LDDState.h
@@ -28,7 +28,7 @@ class LDDState {
   unsigned char m_SHA2[81];
   unsigned char* getSHAValue();
   bool m_boucle=false;
-  bool m_blocage;
+  bool m_blocage=false;
 
 
   bool isVirtual();
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 02f933f399a18f126876a41b40a7f332da115b5b..b5ca2cbc586d46e757c1c48df4312877bc5882dc 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -230,7 +230,7 @@ ModelCheckerTh::~ModelCheckerTh() {
     m_finish=true;
     pthread_barrier_wait(&m_barrier_threads);
     pthread_barrier_wait(&m_barrier_builder);
-    for (int i = 0; i < m_nb_thread-1; i++)
+    for (int i = 0; i < m_nb_thread; i++)
      {
          pthread_join(m_list_thread[i], NULL);
      }