Surgery for trigger finger.