We need to use the actual clock, and not clock wrapper here....otherwise we could get into a point where the clock is not advancing when it should be.