Fix DIVF.