Update the *original* set, not a copy.
Trivial: drop unused #include.