neater output for dsh-ping