Remove String.characters (issue #465).