Small refinements about printing and default configurations