Fix some bugs in division logic.