Changes for review comments.
Get rid of |editing.newSet(!Array)| for simplicity.