Minor Release: Bug fix to Pretty Printer