Index: trunk/ppImage/src/ppImageCleanup.c
===================================================================
--- trunk/ppImage/src/ppImageCleanup.c	(revision 7639)
+++ trunk/ppImage/src/ppImageCleanup.c	(revision 7647)
@@ -3,15 +3,16 @@
 void ppImageCleanup (pmConfig *config, ppImageOptions *options) {
 
+    // Free memory used by ppImage
     psFree(options);
     psFree(config);
 
-    psTimerStop();
-    psMemCheckCorruption (true);
-    psTraceReset();
+    // Free memory used by psModules
     pmConceptsDone();
     pmConfigDone();
     pmModelGroupCleanup();
-    fprintf (stderr, "found %d leaks at %s\n", psMemCheckLeaks (0, NULL, NULL, false), "ppImage");
-    // fprintf (stderr, "found %d leaks at %s\n", psMemCheckLeaks (0, NULL, stdout, false), "ppImage");
+
+    // Free memory used by psLib
+    psLibFinalize();
+
     return;
 }