Fixing pretty printer