1.0.22.2: optimize output under *PRINT-PRETTY*