Fix a potential problem on DIV