Surgical correction of floppy eyelids.