Peter Pan was a leprechaun wasn't he?