bugfix in NodeDispatcher and improved text formatter