CNBC News Corrections

Tom Holland reprises his role as Peter Parker / Spider-Man in Sony's "Spider-Man: Far From Home."
Spider-Man to leave Marvel Universe after Disney and Sony split

Sony's highest-grossing film of all time was "Spider-Man: Far From Home," a previous version of this story misstated that fact.