fix for StringBuf.length