Fix DEx ppc calculation

Addresses #755