fix bug in the textual visulization of the counter-arguments