removing debug pretty-print