fix a bug in ds_ssort