Minor touch-ups to _zerosum_gaussian()