diff --git a/arangod/RestServer/arango.cpp b/arangod/RestServer/arango.cpp
index 5fe590ec5d..e0452b9a59 100644
--- a/arangod/RestServer/arango.cpp
+++ b/arangod/RestServer/arango.cpp
@@ -458,6 +458,11 @@ int main (int argc, char* argv[]) {
   TRIAGENS_REST_SHUTDOWN;
   TRI_GlobalExitFunction(res, NULL);
 
+  if (ArangoInstance != 0) {
+    delete ArangoInstance;
+    ArangoInstance = 0;
+  }
+
   return res;
 }