tiny change to hrtime