Add MONITOR stuff to the pretty printer