minor change on return format of shell_ping API