Replace deprecated rev_iter() by iter().rev().