What's the more shocking bit of trivia from the "Super Mario Bros." IMDB page?