Why exactly is this game called Super Mario 3D All-Stars if there's just one guy named Mario? Seems sus to me, but Niki and John are on it.