And then it was re-released in Japan with those changes as Super Mario USA, and characters and concepts from it have appeared in subsequent Mario games. So even if it didn’t start as a Mario game, it’s very much a “real” Mario game, and has been since the 90s.