(get_next_display_element): Fix previous change.