avoid calling pretty() twice.