fix bug in setdiff