COMPILER: fix pretty print