I saw the following play in a game over the weekend. A player gets hurt, but no official noticed it, only a team mate saw the injured player down on floor and realized she was hurt. the team mate called a TO, which the official granted. later it was changed to a "injury TO", and the called TO was wiped off. was this correct call ?