Basically, yes, though you don't have to get too stressed out about exactly making up the discrepancy on the next mile. You just don't want to let it accumulate.
Best also, in this case, to shoot for 9:55ish on the lap pace display, because most miles will read a little long.