I was listening to the game on Sirius while watching my two young kids. In other words, I only heard about 1/3 of the game. I know Rivera went down at one point. Was the injury serious?