diff --git a/src/thread.cpp b/src/thread.cpp
index 050e58c3..2b94cf7b 100644
--- a/src/thread.cpp
+++ b/src/thread.cpp
@@ -190,8 +190,10 @@ void ThreadPool::exit() {
   timer = nullptr;
 
   for (Thread* th : *this)
-      delete_thread(th);
+      if (th != Threads.main())
+          delete_thread(th);
 
+  delete_thread(Threads.main()); // Must be the last one
   clear(); // Get rid of stale pointers
 }