use fixed dflet implementation