Some fixes in dFMT