Fixup for String.characters now being a {Character*} and nolonger a Character[]