erase-remove idiom

---