Fix use of enumset.copyof() which fails if copied set is empty