Marvel Studios says shooting on "Iron Man 3" in North Carolina has been briefly halted while star Robert Downey Jr. nurses an injured ankle.

ADVERTISEMENT quoted Marvel as saying the 47-year-old actor hurt himself Wednesday while performing a stunt, however, no other details were immediately released and the studio did not say when filming is expected to resume.

Downey's publicist told Downey Jr. is expected to make a full recovery.