Remembering marvellous Mario