diff --git a/src/mobility/examples/main-grid-topology.cc b/src/mobility/examples/main-grid-topology.cc
index f2652f1f5..33dc59186 100644
--- a/src/mobility/examples/main-grid-topology.cc
+++ b/src/mobility/examples/main-grid-topology.cc
@@ -50,5 +50,6 @@ int main (int argc, char *argv[])
       std::cout << "x=" << pos.x << ", y=" << pos.y << ", z=" << pos.z << std::endl;
     }
 
+  Simulator::Destroy ();
   return 0;
 }
diff --git a/src/mobility/examples/main-random-topology.cc b/src/mobility/examples/main-random-topology.cc
index 296fc9129..52eb3a1dd 100644
--- a/src/mobility/examples/main-random-topology.cc
+++ b/src/mobility/examples/main-random-topology.cc
@@ -37,5 +37,6 @@ int main (int argc, char *argv[])
 
   Simulator::Run ();
   
+  Simulator::Destroy ();
   return 0;
 }
diff --git a/src/mobility/examples/main-random-walk.cc b/src/mobility/examples/main-random-walk.cc
index 22f7dbf37..3a118b129 100644
--- a/src/mobility/examples/main-random-walk.cc
+++ b/src/mobility/examples/main-random-walk.cc
@@ -46,5 +46,6 @@ int main (int argc, char *argv[])
 
   Simulator::Run ();
   
+  Simulator::Destroy ();
   return 0;
 }