Make further improvements to the ProcName pretty printer.