Earlier this week, actor Anthony Mackie, who plays Falcon in the Marvel movies, mentioned Mark Ruffalo’s name while discussing Captain America: Civil War. Many fans interpreted his alleged slip-up to mean Ruffalo’s Bruce Banner, not Hulk, could appear in the upcoming superhero showdown. Well, as expected, Mackie has backed off his comments, saying he was just generalizing.

Here’s what Mackie had to say last week while discussing Civil War:

It’s really, really good. It’s because it’s more of an acting movie than an action movie. I feel like the story is very concise and interesting, and you get to see Robert Downey, Jr. and Chris Evans and Scarlett Johansson and Mark Ruffalo and everybody do really, really good acting.

Now, why would Ruffalo’s name be in the Civil War conversation if he’s not actually in the movie? According to Mackie, he was just referring to his peers in the general sense. Or was he?

Here’s what Mackie told Seth Meyers during an appearance on the late night show:

I was giving respect to my fellow actors. I was saying Marvel movies are so great because they have great actors: The likes of Mark Ruffalo, Scarlett Johansson, Robert Downey, Jr. And people take that to mean that I’m saying this is what the movie’s about and this is what’s in the movie. The first rule of Marvel: Don’t talk about Marvel.

Marvel is very, very careful about what it reveals ahead of a film’s premiere, so it’s difficult to say whether Mackie’s comments were a genuine slip-up, or if he was just trying to give props to his fellow actors. There have been conflicting reports about Hulk’s involvement in Civil War though not much has been said about Bruce Banner.

Chances are we’ll see neither appear in Civil War though we could see some sort of end credits scene that reveals the character’s whereabouts. At the end of Age of Ultron, Hulk was seen flying off in a Quinjet, and his fate is unclear.

That said, we do know Hulk will appear in Thor: Ragnarok, which is set for a 2017 release, so who knows where he’s at. It’s hard to see where Bruce Banner would fit in considering Hulk purposely separated himself from the group at the end of Age of Ultron. Guess we’ll find out when Captain America: Civil War hits theaters on May 6, 2016.