The puppet was called Pinocchio.