Updating: minorly improving prelude/string.