prettyprint: some minor cleanup.