Fix for fmf with large finite cardinalities.