fixing bug in String.s