Berenstein polynomials, documentation cleanup