fix warning in pretty printer