3705: drop unnecessary current_list pointer