--- tools/importJSON.cpp.orig	2009-10-08 10:39:22.000000000 +0000
+++ tools/importJSON.cpp	2009-10-08 10:50:19.000000000 +0000
@@ -99,8 +99,10 @@
             }
 
             if ( ++num % 10000 == 0 ){
-                cout << num << "\t" << ( num / ( time(0) - start ) ) << "/second" << endl;
-
+                time_t delta_t = time(0) - start;
+                if ( delta_t > 0 ){
+                    cout << num << "\t" << ( num / delta_t ) << "/second" << endl;
+                }
             }
         }