Use dflet in some cases