fix pretty printer
fix lpo encoding