small fix by @orbitfold for DE