Minor bugfix

Fixed a floating-point bug in webgl computations