RE: Dubious behavior in TH pretty printer