Minor updates to algebraic equivalence.