So Pan's Labyrinth is great and all that, and everyone should see it—but why did they change the name from El Laberinto del fauno for the English-language release? Both The Labyrinth of the Faun and The Faun's Labyrinth are surely better titles, especially given that nothing in the movie suggests that the Faun has anything to do with Pan. What's the logic here?