I'm no replay expert but I think it was. Whereas normally there would be a zap 10 because replay created a running clock (after determining that the runner was down inbounds, overturning the ruling on the field) that did not apply because the line to gain had been reached, which automatically stops the clock.
The only thing I thought might have been off, was one second left vs 2, but irrelevant as only one play could be run. I do know that the clock on the TV is not the official time, which is probably why it was a discrepancy.