minor possible tweaks to String::operator+= ()