fix a bug in support set implementation