Do we know anything about Henderson's injury?