Fixed bug in String__format().