Fixed bad high-ASCII characters in StringUtil