minor (some pretty-printing)