Fixup: Early return in ws_set_insert()