Restore old double_list to fix my old code