diff --git a/src/builtin_functions.c b/src/builtin_functions.c
index 9fa695c7363c7feb9b1d249680077bb3b4cd112c..2496d5a0d1f37cc785e4880631b344a41ba3dc26 100644
--- a/src/builtin_functions.c
+++ b/src/builtin_functions.c
@@ -4,7 +4,7 @@
 ||| See the files COPYING and DISCLAIMER for more information.
 \*/
 #include "global.h"
-RCSID("$Id: builtin_functions.c,v 1.53 1997/11/02 19:29:34 grubba Exp $");
+RCSID("$Id: builtin_functions.c,v 1.54 1997/11/02 22:17:37 grubba Exp $");
 #include "interpret.h"
 #include "svalue.h"
 #include "pike_macros.h"
@@ -1733,13 +1733,13 @@ void f_master(INT32 args)
 void f_gethrvtime(INT32 args)
 {
   pop_n_elems(args);
-  push_int((INT32)(gethrvtime())/1000));
+  push_int((INT32)(gethrvtime()/1000));
 }
 
 void f_gethrtime(INT32 args)
 {
   pop_n_elems(args);
-  push_int((INT32)(gethrtime())/1000)); 
+  push_int((INT32)(gethrtime()/1000)); 
 }
 #endif /* __STDC__ == 0 && !defined(_NO_LONGLONG) */
 #endif /* HAVE_GETHRVTIME */