What happened with Whitson? Noticed he wasn’t out there 2nd half and heard on the drive back that he was injured