what done happened to Mario