In case there were any doubts that “Avengers: Infinity War” will be the largest gathering of Marvel characters since the “List of Marvel Characters” Wikipedia page, let Robert Downey Jr. put them to rest. Even Pepper Potts and Happy Hogan will be squeezed into the mix.

The actor confirmed that in a Tuesday night Instagram post of an “Infinity War” set pic with his “Iron Man” co-stars Gwyneth Paltrow (Pepper) and Jon Favreau (Happy). See it below.

Infinity Trinity … #infinitywar ????and street cred @jimmy_rich represent @marvelstudios and @therealstanlee … A post shared by Robert Downey Jr. (@robertdowneyjr) on Aug 22, 2017 at 6:08pm PDT

Paltrow appeared as Stark Industries CEO and Tony Stark (RDJ) love interest, Pepper Potts, in all three “Iron Man” films, as well as the first “Avengers.” But she was absent for 2015’s “Avengers: Age of Ultron” and 2016’s “Captain America: Civil War.” In-universe, the explanation was that Tony and Pepper had broken up, but a cameo appearance by Paltrow near the end of “Spider-Man: Homecoming” suggested they’d reconciled. Looks like things are still going strong for Topper. Er, Stotts? No, wait, Stepper.

Also Read: 'The Defenders' Gives Us the Origin Story for Marvel Superhero Misty Knight

Aside from playing Stark Bodyguard and friend Happy Hogan in all three “Iron Man” films, Favreau also directed “Iron Man” and “Iron Man 2.” He usually appears in what amounts to an extended cameo, but had a larger supporting role in “Spider-Man: Homecoming.” “Infinity War” marks his first appearance in the “Avengers” franchise.

And yes, all three of them appeared together onscreen in “Homecoming,” but we’re glad to see the reunion continue.

Directed by Anthony and Joe Russo, “Avengers: Infinity War” hits theaters May 4, 2018.