A comment about the erase-remove idiom.