fix another case caused by floating-point inaccuracy
v0.1.2