Bug fix Gauss-Bareiss