Minor tweaks to String (SubString) code