diff --git a/ChangeLog b/ChangeLog
index 8340899b8..c5d398a91 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2007-06-14 Paolo Nenzi
+
+ * src/misc/misc_time.c: added a casting to doube in seconds function to
+ solve the "negative times" in acct command.
+
2007-05-13 Paolo Nenzi
* src/spicelib/devices/dev.c: updated NUMDEV to reflect actual situation.
diff --git a/src/misc/misc_time.c b/src/misc/misc_time.c
index 82df0fb80..16f7840b1 100644
--- a/src/misc/misc_time.c
+++ b/src/misc/misc_time.c
@@ -104,7 +104,7 @@ seconds(void)
return (TCGTIME_());
#else
(void) getrusage(RUSAGE_SELF, &ruse);
- return (ruse.ru_utime.tv_sec + (double) ruse.ru_utime.tv_usec / 1000000.0);
+ return ((double)ruse.ru_utime.tv_sec + (double) ruse.ru_utime.tv_usec / 1000000.0);
#endif /* PARALLEL_ARCH */
#else
#ifdef HAVE_TIMES