Bugfix for FSet.clone() and its tests.