Corrected simple (but fatal) oversight in the Double_List package.