Minor cleanup in the String method