I can't verify or deny that, but that still doesn't mean they wouldn't have made it. That's a very, very talented roster, that may play a lot different if they're not just feeding Messi and letting him take 6 shots a game. Who knows, maybe someone else actually scores on those chances unlike Messi. They'd definitely play a team game for once, which would benefit the widespread talent they have on that roster.