improve output of echo-args.sh