jpp: default to pretty when piped