If you read my comment about the Kubrick/Spielberg film, you'll see a note on the Wikipedia page that Kubrick apparently referred to the film as Pinocchio!