minor output tweak