fix bug in getting "rest" of an integer-set