cosmetics only: better stdout.