Wait, Spider-Man is Aladdin?