Subtle floating-point bug!
Fixed #4