I'd tend to prefer use of erase() while we're avoiding c++11