bugfix in make_set