Actually, calling them Mario Mario and Luigi Mario is the only part of the movie that made sense.

They're the friggin' Mario Brothers! No other (insert name here) Brothers in the world is called by the first name of one of the brothers, they are called by the surname!