Minor changes involving ignore_list