Small performance optimization of the message printing mechanism