Updating: improving prelude/string.
Updating: minor addition.