Minor formatting fix in pretty printer