fix a bug in DividedByZero checker