Is Spiderman back with Marvel? I thought Sony had the rights to it.