Watched the game, and it looks to me that the refs got it right. At first, I was flabbergasted when they reset it to 2.3 when it should have been lower. Then the 1.3 showed, that was better. I think, considering the quickness of everything that was happening, the clock situation was handled well.