Possible fix for the floating point bug, due tu freeing an uninitialized region