minor addition to TextBuffer