Got rid of a superfluous call to gettimeofday().