redemption() cleanup