Fix FiniteSet(EmptySet())

fixes #7335
oops, it's left over from previous commits.