extreemly minor output tweak