Added more timestamps, for profiling.