DeleteFinished: code cosmetics