Bug in stringbuffer