Update redo_setup