Don't delete options until we've closed the DB.