Fix bug from renaming String.toString to Basics.toString