See above concerning the check of dofree.