Very minor output change --