Very minor printing tweak.