マリオ・マリオやルイージ・マリオは映画の中だけの本名だったが、後に完全に公式になった