‘Henderson's’ relief of eyelid retraction revisited