“With the fastest ever times in all six sectors now under his belt, having not held one before the race, Harrison led by 17s at Ramsey and as he came in at the end of the lap for his first pit stop...”

It is not correct: Deano in the first lap got fastest ever times in 2’-3’-4’and 5’ sector; he got in the second lap the best time in the 1’ sector (Glen Helen) and MD got the best ever time in the last sector in his 3’ lap.