Notre Dame's football stadium smaller than expected. Oh wait. That's futbol.