Comment for dump_list() mended