prettier printing

(so I can read easier what jstar produces)