Slightly improved statistics' display in Statistics.getTextRepr() : the list of extracts can now correctly be displayed even if the console is not large.