fixed bug in DFL generator