Bugfix in DIVF.