diff --git a/LICENSE b/LICENSE
index 46cf08363e..5e5863dc39 100755
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,8 @@
-		  GECODE LICENSE AGREEMENT
-			 
-This software and its documentation are copyrighted by the
+		GECODE LICENSE AGREEMENT
+
+			(MIT License)
+
+This software and its documentation are copyrighted by the 
 individual authors as listed in each file. The following
 terms apply to all files associated with the software unless
 explicitly disclaimed in individual files.
diff --git a/gecode/search/cpprofiler/tracer.cpp b/gecode/search/cpprofiler/tracer.cpp
index 32a67089fa..af0c709a91 100644
--- a/gecode/search/cpprofiler/tracer.cpp
+++ b/gecode/search/cpprofiler/tracer.cpp
@@ -146,6 +146,7 @@ namespace Gecode {
 
   void
   CPProfilerSearchTracer::done(void) {
+    connector->done();
     connector->disconnect();
   }