minor output tweak.