Shorter printouts from DisplayPlugin