Re: behavior change of the pretty printer