too bad, fix "dsh-ping -a" output