Minor fix to operation of add_successor