fix in String#format