Enligt plattformskonventionen borde det ha hetat Super Super Mario Brothers