Finitesets are corrected