Fix DIV/DVI EX bug