Minor enhancements in time measurement.