fix definition of DERI, maybe