The double wasn't too clever either. I would assume it to be Lightner, now virtually guaranteeing you won't get the ♣ lead you want. Throwing away 24 IMPs and quite probably the match, for a potential gain of ... er 0 IMPs (1530 == 1740). Ok the King drops and the ♣ run but doubler can't know this.