I don't mind putting this in, but it doesn't seem as readable to me as the original. How big do you think the chance is, this behavior of String will change?