Fixed bugs: Strings.encode